toy language language for expressions using haskell. will be using to teach myself about language implementations and types and category theory.