| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .nxt | cell | f | cell → ref |
| . .nxt:= . | cell | f | cell × ref → cell |
| . .val | cell | f | cell → elem |
| . .val:= . | cell | f | cell × elem → cell |
| . × . | cell | f | elem × ref → cell |
| a | elem | v | elem |
| a0 | cell | v | elem |
| b | elem | v | elem |
| c | elem | v | elem |
| ce | cell | v | cell |
| ce0 | cell | v | cell |
| ce1 | cell | v | cell |
| cell | cell | s | |
| elem | elem | s | |
| null | ref | c | ref |
| r | ref | v | ref |
| r0 | ref | v | ref |
| r1 | ref | v | ref |
| ref | ref | s |