add missing type equality