core tetra: adding ref types and refactor boxing
core tetra: squash rep detection functions together in boxing transform
core tetra: squash rep type conversion functions together in boxing transform
core tetra: squash rep exp conversion functions together in boxing transform
core tetra: cut down boxing transform to just unbox/rebox around primitive ops
core tetra: refactor boxing transform to use transformX boilerplate
core: add 'boxed' foreign type import mode for boxed data constructed elsewhere
Type conversion in progress
core tetra: refactor handling of contexts during to Salt conversion
core tetra: split type conversion into own module
tetra: add unboxed literals and redo unboxing of case scrutinees
tetra: refactoring tetra to salt type conversion
tetra: cleanup the convertPrimBoxing disaster
tetra: only convert unboxed data constructors
tetra: fix conversion of literal values
tetra: reify super names wrapped in type apps
core tetra: fix matching against unboxed literals
core tetra: fix layout of data cons with numeric types
core tetra: unbreak conversion of pointers
core tetra: refactor boxing transform to include complete walk over expression