Add cardinality attribute to function instance.  Classify all instances
correct as to their type.