Refactoring.
Added missing file. Fixed a typo with contracts. Typechecking with qualified forall works