Class AttrType

This class represents attribute types in schemas. An attribute type is the "codomain" of attributes. In an acset, each attrtype is associated with a type. But in general, acsets are "polymorphic" over the types of their attributes.