use instead of require-extension
Implement eta-reduction
η-reduction shouldn't recurse
Introduce β-reduction
β-reduce can apply
Remove symbol? guards
Reorganize ehk.lambda.reduce
Replace \ with λ and / with $
Use λ in ehk.lambda.reduce
Use $ instead of / in ehk.lambda.reduce
Implement α-convert