Implement Functor, Applicative, Monad instances
Add instances for Foldable, Traversable
Implement atoms, eval, onallvaluations
Start implementing typechecker for simply typed lambda calculus
Starting on inference
Trying to implement inferTypeInCtx
Implementing Datatypes ala Carte
Add Mul to datatypes ala carte
Use infix form of :+:, :<: