Updated calculus.
Wrote most of the type rules.
[doc] Rewrote 'Goal' section.
Merge branch 'master' of https://github.com/AardvarkSoup/HaskellControlFlow
[doc] Elaborated more on Term, explained patt typing, layout cleanup.
Finished rushed version of the documentation.