seed in grammar, and crypto system with dec and enc + seed in EncapsulatedCrypto