get rid of block-allocated storage
Type variables in trellis
load/save functionality