tests: new QC property for SC.
SC Types: small note.
SC: move args to their own module (out of Types.hs).
wibble: make seps 80 chars.