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

darcs-hash:20051208102131-1a7c6-1adae5643d37179d6786c5ef62d65eab22c1bc4b

jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc