Added contracts to crypto.rkt which then allowed deletion of type tests within the body of the libsodium bindings. Numerous minor naming changes (some of which were taken from pyNaCl).