I intend to extend it with support for the two things mentioned in the ending "Extensions" section:
constructors that take arguments
recursive types (like
and use it as a Core language for a new Haskell-like language. But I'm implementing an evaluator at present, as being able to "run" small programs is pretty motivating.