. . . ";;;; tell whether a type is a function or values type without" . .