Added come (hopefully) helpful comments to STG.ViaC
Added type abstraction elements to core AST, parser and pretty printer for System F implementation
Added simple polymorphic test program
Added extra "stripTypeAbstractions" pass to STG generator which removes all big lambdas and type applications before translation