add comment for `uniqueTypes'
Remove call to unique types before storing constructors in context

There is no need for this since the constructor gets unique types in
`getMatching' before matching is done
simplification in ExpGen.hs