Complete the established LJS semantics from the paper
Add log operator and some binary operators (underspecified in the LJS paper)
Wasn't thinking - fix lexical scoping