Add type function support to JVM backend

[CeylonMigrationBot]

[@luolong] Type functions are implemented as an experimental unofficial feature on js backend, but much of the work I do is mostly on JVM and I would love to experiment with type functions in libraries.

I suspect that many libraries could benefit from these. Things like typesafe fluent assertion frameworks and web service routing libraries, serializers, etc.

[Migrated from ceylon/ceylon-compiler#2358]

[CeylonMigrationBot]

[@lukedegruchy] I've noticed that there are currently some rather cryptic compile errors on JVM when using this feature presently. Should there be a separate bug for clearing compile errors (ex "Higher Order Generics not supported on JVM back end currently") in case this enhancement doesn't make it to 1.3 for the JVM?

[tombentley]

The type-constructors-jvm branch has some better support for type constructors, but still lacks support for functors. This branch ought to be merged for 1.2.3 even if full support for functors is deferred till 1.3

[quintesse]

This branch ought to be merged for 1.2.3

Any progress on this @tombentley ? Or do we move this to 1.3?

[gavinking]

Note: issue #2411 documented some bugs in this prototype implementation.