struct exprs
bound struct constr/accessor
struct accessors