types2: improve pretty type scheme printing
types2: add test showing bug in generalize