Detect if a datatype could be represented as a primitive integer. If it has one constructor with no arguments and one with a recursive argument this is true. This is done using IrrFilters which filter out forced arguments, so for example Fin becomes primitive.
Get a list of all the datatypes that look like nats. The [QName] is on the form [zeroConstr, sucConstr]