pseudo-union and subtyping relation of simple-v1