Remove singleton stuff from subtyping relation