* specifying the reduction order and depth
* allow other binders such as ∀ and ∃ (though these won't be interpreted as doing anything other than binding variables)
+<a name="other_evaluators"></a>
Other Lambda Evaluators/Calculutors
-----------------------------------