Add subtypes of CAReduce since the match is type-exact.