Asymmetric Encryption Schemes.

This file defines a type AsymmEncAlg spec M PK SK C to represent an protocol for asymmetric encryption using oracles in spec, with message space M, public/secret keys PK and SK, and ciphertext space C.