Actually add the interpreter mentioned in my last commit
Merge branch 'master' of github.com:xrchz/vml
Translate the elaborator and inferencer to Haskell

A start on an unverified CakeML front end that will report decent error
messages (e.g. with source locations).