-----------------------------
	Improve type validity checking
	-----------------------------

Two main effects here

a) Type synonyms can be unboxed tuples
	tupe T = (# Int, Int #)

	f :: Int -> T

b) Hoisting works for implicit parameters

	f :: Int -> (?x::Int) => Int