Subtyping in Emerald -- S conforms to T

• S provides at least the operations of T
• for each operation in T, the corresponding operation in S has the same number of arguments
• the type of the result of operations of S conform to those of the operations of T
• the types of arguments of operations of T conform to those of the operations of S