Small step semantics example

Adds Nodes and implements first basic expressions, e.g. Add, Multiply, Number, Boolean, LessThan.