Arthur also has an S-expression schema that is generic enough to
describe most or all of the procedure and macro signatures found in
SRFIs. That schema could be repurposed in Schemedoc projects.