Removed spurious ContExp.hs
Addition to notes and Monad instances