Initial commit of pushdown analysis for Lam
fixed warnings and moved SyntaxHelpers out to new file
Make it work!
ghci now works.  ghci src/Examples <> :rl
./ghci.sh now will run ghci
documented things in README
accidently added some things...
gitignore
agda formalization start and docs
rework of core, getting analysis back to compiling
ALL THE THINGS
merged