2 Input Should be parsed as Derived constraint
4 --------------------------------------------------------------------------------
5 \lambda x.x y ((\lambda x.x) y) binder > apply
6 S x = y (= (S x) y) apply > infix operators
7 --------------------------------------------------------------------------------
9 Precedence total order:
11 binder > apply > infix operators