WIP Instance checks work for scalar types.
WIP Add more tests.
WIP Row instance checks.
Make annotated order-n functions rank-n in row variables.

Conflicts:
	lib/Kitten/Infer.hs
	lib/Kitten/Infer/Scheme.hs
	lib/Kitten/Infer/Type.hs
	lib/Kitten/Infer/Unify.hs
	lib/Kitten/Kind.hs
	lib/Kitten/Type.hs
WIP Rescope quantifiers in generalized function types.

Conflicts:
	lib/Kitten/Infer/Scheme.hs