update oasis; code cleanup
remove monad.ml and make monad abstract
update oasis files
add README