Added default implementation for some Monoid functions
Code cleanup
Fixed Tuple description
Refactored ObjC++ syntactic sugar
Added more syntactic sugar
Added some tuple accessors
Borrowed a Maybe monad example from LYAH