rename summtype to sumtype