Included 'monad/inferrence' to monad/main module. Added some tests.