example showing how to use Y and fac
cleanup
removed test
creating skeleton for untyped lambda calculus with
top level assignments
name change
needed to rename again

creating an example file