A simple interpreter
<Expression> -> <Identifier>
-> <Integer>
-> ( <Expression> <Expression> )
-> ( lambda <Expression> <Expression> )
-> ( define <Expression> <Expression> )
-> ( if <Expression> <Expression> <Expression> )