Init: explores enumaration overflow (there isn't one by default)
Init: 3 versions of this toy
Init: explores `type` keyword (merely makes an alias)
Init: stupid test of Maybe type