Change type terminology to set theory