Smoother crypto

Follow-up: remove first-class module tricks with hashes, reuse sexp conversion declaration for `hash` from nocrypto, reuse camlp4 to simplify a signature.