primitive types
constructed types

ML primitive types
int
real
tuples

bool is a "constructed type"