changed the mk-struct interface a little to reflect that mk-structs should be 'reified' not necessarily changed into sexps, and changed sets so that sets are returned in the answer instead of sexps