Proved MCompose, thanks to Mark P. Jones and Luc Duponcheel
Update Makefile
Remove unused theorems
Minor cleanup
Proved that Cont is a Monad