Big-step and small-step evaluation for Lambda calculus (parser included)