Bumped up version to dot three.
Added type hints to core, monads, transf.