In Scheme reports and SRFIs, "must" is applied only to the implementation, not to the user program.  Reword "X must be a fixnum" to "It is an error if X is not a fixnum."  It's wordier, but it makes clear who the MUSTard applies to.