Introduce ehk.lambda.reduce
E<M/x> reaplces x with M
E<M/x> recurses into applications
E<M/x> recurses into lambda which don't bind x
E<M/x> renaming to prevent name-collision case