Expand reducts *after* expanding, to squash type variables.