Assertion list for term "integer type".

Results from Ascent++: 2
argument (aspect of function) HasAinteger type 0.33
argument HasAinteger type 0.32