Fix two measleading errors one in substitution application definition
and the other in the (\x.x x) constraint set derivation example.