Adds a Machine that runs an expression until it's not reducable anymore
Extracts Machine code to its own mod class
Adds Boolean type
Adds LessThan expression
Simplifies creation of expressions in main