compiler: support static type parameters in syntax and type system
compiler: add type parameters to functions when created
compiler: wip: type parameters
remove accidentally committed test.gy
compiler: unit test for compiler bug to be fixed later
compiler: test Type.substitute and simplify arguments
compiler: add tests and fix broken aspects of function static type params
vm: basic support type parameters for functions
compiler: serialize type parameters on functions
Support for static function type parameters in compiler and VM

Note that this requires the introduction of two new instructions: tycs
(static class type) and tyvs (static variable type). They function as
type annotations, so the interpreter ignores them. They are necessary
for building stack pointer maps.
compiler: test for primitive type arguments
compiler: test whether type parameters are defined in current scope
Merge branch 'type-parameters': static type parameters for functions