Learning systems refactored and for tuning random generation
Relating Hott functions to scala functions