First Draft, starting from TypeCheck.jl.
Updated in response to reviewer feedback

* renamed functions
* added lots of comments
* some minor refactoring
* moved all code into one file

Also, some unrelated bugs have been fixed.
Updated in response to reviewer comments
Fixed README, too.
Update toplevel readme with my credentials.
Merge branch 'static-analysis' of github.com:astrieanna/500lines into astrieanna-static-analysis

Conflicts:
	README.md