A type whose values have no identity (that is, they are pure values). Basic types include Integer, Boolean, and Text.