Create an object type using the given A_Map from A_Atoms to types.
object type
The new object type.
The map from atoms to types.