Full: full beta-reduction implemented (yeah, it works somehow).