First draft haskell implementation, mostly stubs, with some blanks.

This is a first-draft implementation of the language in haskell, with some thoughts and comments along the bottom of the file.