Enforce Prop < Set directly in the universe graph (fixes #50).