Type variables should be distinct from other identifiers?

[Stephen Chang]

It may be beneficial to keep type variables distinct from other bound identifiers (see Issue #9) but how to implement this?

• cannot use quote as in ML, eg 'x, because then we could not use Racket's binding forms, ie lambda, to represent binding types
• use a syntax property? but where to add it

[Stephen Chang]

infer quantified type variables in the order that they occur (L-to-R)

• backwards incompatible change: quantified type variables no longer sorted lex
• fix and add tests, remove some annotations in tests
• small speed improvement due to eliminating some extra expansions
• closes #9, closes #11

→ <<cset c64251cac0e8>>