start rewrite tex; add Ackerman-like and factorial lams
Merge branch 'master' of github.com:tromp/AIT
whatever
junk