Fix all(s) on Int, Real and String should succeed by default.
Fix building and matching of lists, tuples, applications such that Cons/n and Nil/m where n != 2 and m != 0 are valid applications.
Specify semantics for some(s).
Split up list matching and list building to handle the multiple cases of dipatch on the arities of Cons and Nil constructors
Fix match for As(var, pattern)
Add bottom failure case for list matching.
Implement the operator registry lookup method.
Redo matching for Explode
Respecify generic term construction aka Build(Explode(.., ..))
Report execution duration.
116 tests