Add basic monadic types with maybe and either implementation.
Minor changes on project.clj.