Constant pool declarations. These are a code thing, not a language thing. They
Brackets. Quantifiers. Equations.
μMonoid∈(∃t.). Monoid = νid. ※ Monoid of t id = λ(a∈t).Ϙ(b∈t).a. . .
HAIL eg sections, functions, closures, names, GOTs, const and initialisation sections, raw pages etc.
mmap/munmap - allocation/deallocation
labels
codegen/a MOP - creating functions, labels, writing code etc
arguments
locals + local jump + conditional jump
primitive get/set/ops - fixed (specific width) vs variable width and signed vs unsigned and float vs int.
pure bitops - bitvectors, flag get/set, masking, bit iterators, chunking, matching, shuffle.
row types
names are bitvectors, which should correspond to valid ★-char text.
interning - 64 bit index → text object.
load HAIL