The standard allows the following extension to force:
Some implementations may implement "implicit forcing," where the
value of a promise is forced by primitive procedures like `cdr'
We should remove this note or tighten the definition.
WG1 voted to adopt the rule that a procedure which performs a type-check on its arguments is permitted to implicitly force promises.