WIP
Updating with new(er) D/M type inference
Adding new(er) type inference skeleton

Conflicts:
	src/Text/EDE/Internal/Checker.hs
	src/Text/EDE/Internal/Checker/Env.hs
	src/Text/EDE/Internal/Checker/Monad.hs
WIP