It seems pretty neat, certainly a cool senior thesis!

One suggestion if you take this further is to add a "dictionary" or "hash table" type. For practical programming problems, that is pretty necessary.

But a really neat project - it's cool to see a functional programming take on the CoffeeScript-style compiling-to-javascript.