- const true and false
- const nat
- const unit
- var
- application
- abstraction
- if
- equal
- sequencing (new)
- panic (new)
- referencing (new)
- iszero
- succ
- natrec
- addition, subtraction, multiplication, division
- succ
- dot tuple
- tuple
- dot record
- record
- subtyping (new)
- inl, inr
- match
- let
- list
- is empty
- head
- tail