Found and fixed the bug causing the Conways benchmark to fail.

Was a result of some expressions not being annotated with a type, and my code being over-reliant on the type annotations. Both issues have been fixed. Also fixed an issue with parsing logical or statements (in the lexer), and an issue with recursive for loops in the javascript converter.