Experiment with first-class modules: first successes!
sample.ml translation with first-class modules works!
Higher-kinded polymorphism!