make type synonym name finding work with quantification
make type synonym name finding work with quantification

darcs-hash:1adae5643d37179d6786c5ef62d65eab22c1bc4b

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc