Illustrative example of functions as objects, using the apply method.
Booleans partially implemented as ideal classes/objects
Natural numbers following Peano axioms without use of primitive types.