Completes big step interpreter
Progress towards completing small step interpreter