Rename `Polytype` to `TypeScheme` to differentiate type schemes (early bound) from higher-ranked things (late-bound), which also use the `Poly` prefix.
WIP getting very close
WIP improve error reporting
Fix some places in trans we were forgotting to normalize
Make all associated types tests use a common prefix.