Fast path in Canonical structure detection. We do not always compute the normal
form of a potential canonical argument anymore, and we check that it may be part
of a canonical structure first.