An Interpreter

The interpreter has two parts.

1. The simplifier
2. The top-level interpreter