Terms inhabit Types. Terms can be evaluated to produce Values. A Value has a finite representation. When run as a program, these values will be represented as 1s and 0s.

True: Boolean;

1: Integer;

1.2: Real;

1.2+3i: Complex;

'a': Character;

"bc": String;

(1,True): (Odd, Boolean);

[7, 11]: Prime[];

{2, 6, 10}: Set<Even>;

{1=2, 3=4, 5=6, 7=8}: Map<Integer,Integer>;