unwrap must now provide a rewrap function; this way, we don't have to encode sugary spines
added a Struct type
sexpr->spine conversion
Struct type that generalizes product/sum with record/union types/vaues