Integrate stuff from ObjectClassifier with the rest of the library

Intro patterns can do the destruct for you `intros H a b [] `?