It works!

I've just connected the code required for generating generic type definitions in the Freya compiler... and it works fine! Freya has been consuming imported generic types for a while, but now we can also compile our own generic type definitions.