resolve aliases when forming principal instantiations, 
fixing a bug with refinement validation