Expressions map either zero, one, two or many inputs to a single value. They can be defined recursively to compute complex math.