Some progress on constructor class elaboration.
* Mark all type constructor variables with quotes at parsing-time
* Handle higher-kinded polymorphism better in elaboration
* Progress on constructor classes