@converter checkers now respect pt

This lets us resolve the ambiguity between the two ways of getting from
Apply to Select: Apply => [pt=p.Term] => Select and Apply => [pt => p.Pat] => Select