Begin implementing base language

This defines the language algebra and a parser of s-exprs to terms.

Also, missing some Haskell conveniences, I couldn't help but make myself
feel more at home.  The 'util' subproject may take on a life of its own.