Create an object type from the specified A_Tuple.
object type
The new object type.
A tuple whose elements are 2-tuples whose first element is an atom and whose second element is a type.