minor changes, and some (very minor) progress on a-normalization
added comment
added
cleanup
Merge branch 'master' of github.com:joshcough/L5-Haskell