Revert Unicode syntax, using vim's haskell-conceal is a better solution
Organize by language (abstract machine implementations are specific to pure lambda calculus)
Implement compiler from pure lambda calculus to JS