Cleaned out Monad codes, added Grammar and Memo modules.