Rudimentary translation support for simulation.
Added translation functions for basic logic/gates.
Update to todo list for this task.
Replaced ad-hoc memoization with (currently non-memoizing) evaluator_t
Minor bugfixes in evaluator interface.