Scheme Expressions

Expressions are evaluated to yield a value.

Every value has a type:

Number, Boolean, Procedure, String

later: Symbol, Pair, Vector, Promise (stream)