matching-type? now checks sums and products properly