Refactoring, removing apply-0, limiting algorithm to eval-0
Simplifying lambda calculus eval