Updated readme to reflect recent module changes
Added module with scope checking calls cropped from Main for testing/debugging
Minor annoyances
Removed some cruft and ugly copied code
Optimize meta-variable inversion.
Optimize meta-variable elimination when whnf'ing
Forgot to stage MetaVarBody
Make applying substitutions partial...

...so that we don't need `canStrengthen'.
Add option to decide whether to reduce on applySubst or not.
Removed some unused imports, notes on rewriting
Merge branch 'master' of https://github.com/bitonic/tog
Merge branch 'master' into alteredimplicits

Conflicts:
	src/Term/Impl/Common.hs
	src/Term/Subst/Utils.hs
	src/Term/Types.hs