Document redeemer restrictions

[j-mueller]

This is minor but we should document somewhere that user minting scripts should not use any mint redeemers that equal to the our encoding of PSmartTokenMintingAction (Term s PCredential) in their application specific code.
We could also use some arbitrary large constructor index for the encoding of the credential to reduce likelihood of collision.

#92 (comment)