An initial interpreter for Uniclo in Haskell.

Basically implements a Scheme-like core.