More type, casting, numerics, with tests
Impl. more collections, introduce concept of words with * as apply arity