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.