Move duplicate code to Lambad.Eval; rename Expression to Term
Incomplete implementation for various reduction strategies