Add type function support to JVM backend

[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.

[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?