Emit typechecker hints from functions #3
Description
We only need to call corr_case when you apply a decryption, signature verification, etc. We should make the type checker branch at the point of performing the crypto op (if necessary), rather than requiring the user to do so