Assert that matcher-derived PatSyn types match the (redundant) stored types in IfacePatSyn