2.4.8 Test operators
Eq: PROC[a, b: Any] RETURNS[BOOL];
EqN: PROC[a, b: Any] RETURNS[BOOL];
Gt: PROC[a, b: Number] RETURNS[BOOL];
Ge: PROC[a, b: Number] RETURNS[BOOL];
Type: PROC[a: Any] RETURNS[Integer];
2.4.9 Arithmetic operators
Add: PROC[a, b: Number] RETURNS[Number];
Sub: PROC[a, b: Number] RETURNS[Number];
Neg: PROC[a: Number] RETURNS[Number];
Abs: PROC[a: Number] RETURNS[Number];
Floor: PROC[a: Number] RETURNS[Number];
Ceiling: PROC[a: Number] RETURNS[Number];
Trunc: PROC[a: Number] RETURNS[Number];
Round: PROC[a: Number] RETURNS[Number];
Mul: PROC[a, b: Number] RETURNS[Number];
Div: PROC[a, b: Number] RETURNS[Number];
Mod: PROC[a, b: Number] RETURNS[Number];
Rem: PROC[a, b: Number] RETURNS[Number];