Move code to map aliased types into a virtual impl block into a helper