Support for pairs in type system