Added remaining instances.
Added first test for return in 'Monad'.