goal-directed subsort search
collect statistics on typesmart constructors