Brings literals into the expression language.

Takes an associative arithmetic operator with a list of expressions.

Takes an associative boolean operator with a list of expressions.

C stands for Chunk, for referring to a chunk in an expression. Implicitly assumes that the chunk has a symbol.

A function call accepts a list of parameters and a list of named parameters. For example

• F(x) is (FCall F [x] []).
• F(x,y) would be (FCall F [x,y]).
• F(x,n=y) would be (FCall F [x] [(n,y)]).

Actor creation given UID, parameters, and named parameters.

Message an actor:

• 1st UID is the actor,
• 2nd UID is the method.

Access a field of an actor:

• 1st UID is the actor,
• 2nd UID is the field.

For multi-case expressions, each pair represents one case.

Represents a matrix of expressions.

Unary operation for most functions (eg. sin, cos, log, etc.).

Unary operation for Bool -> Bool operations.

Unary operation for Vector -> Vector operations.

Unary operation for Vector -> Number operations.

Binary operator for arithmetic between expressions (fractional, power, and subtraction).

Binary operator for boolean operators (implies, iff).

Binary operator for equality between expressions.

Binary operator for indexing two expressions.

Binary operator for ordering expressions (less than, greater than, etc.).

Binary operator for Vector x Vector -> Vector operations (cross product).

Binary operator for Vector x Vector -> Number operations (dot product).

Binary operator for Number x Vector -> Vector operations (scaling).

Operators are generalized arithmetic operators over a DomainDesc of an Expr. Could be called BigOp. ex: Summation is represented via Add over a discrete domain.

The expression is an element of a space. IsIn :: Expr -> Space -> Expr | A different kind of IsIn. A UID is an element of an interval.