Nominal typing

Type compatibility based on declared identity rather than only on the members a value contains.