Add code for generating LetRec (currently the same as normal let), Literal exprs. Fixed GCC warning when saving tag on the heap
Added kind support and type constructor application. Kinds are now a different type from types and must be specified with type variables (just like types with term variables). Currently very limited kind checking
Added pretty printing of constructors in STG
Updated polymorphic test program. Defines a list type, singleton and head functions