Refactored the maybe monad.
Made sure we check for Option types.
Added the ability to check whether a lazy is created.
Updated documentation.