remove old monadic contract interface

The newly added let bindings in the contract language supersede the
monadic interface.