|(define-struct structid (fieldid ...))|
make-structid : takes a number of arguments equal to the number of fields in the structure type, and creates a new instance of the structure type.
structid-fieldid : takes an instance of the structure and returns the field named by structid.
structid? : takes any value, and returns true if the value is an instance of the structure type.
structid : an identifier representing the structure type, but never used directly.
The created names must not be the same as a primitive or another defined name.