README.md: Miscellaneous fixes and refinements.
procedural.scm: Simplify some record-field names.
`make-bytestructure-descriptor-compound-type': Make last two args optional.