Added the Underscore.js library.
I'm probably using it in a hacky way, though.
Added commented code that creates equivalence classes.
But I can't do the expansion yet because I don't have a real AST.