Cleaning
Creating MonadNonDet
Correcting some mistakes
Data tuple