MIR: Blockchain operations

• BALANCE: A — mutez : A
• CONTRACT ty: address : A — option ( contract ty ) : A
• CREATE_CONTRACT { parameter ty1 ; storage ty2 ; code instr1 }: option key_hash : mutez : ty2 : A — operation : address : A
• EMIT ty: ty : A — operation : A
• IMPLICIT_ACCOUNT: key_hash : A — contract unit : A
• LEVEL: A — nat : A
• MIN_BLOCK_TIME: A — nat : A
• NOW: A — timestamp : A
• SELF_ADDRESS: A — address : A
• SENDER: A — address : A
• SOURCE: A — address : A
• TOTAL_VOTING_POWER: A — nat : A
• VIEW name return_ty: ty : address : A — option return_ty : A
• VOTING_POWER: key_hash : A — nat : A