(^) optim away STACK
(^) constructor for orgs (TODO: T[N], N?)
(+) init for orgs
(^) trails.lua: blk -> orgs -> dyns -> fins
(^) IN__CLR is also traversed "increasing"
    - BLK -> FIN (in trails.lua)
(^) IFC_Global doesn't require `GLOBAL´ anymore