Update comment about TYPECHECK argument assumptions.
Update comment about TYPECHECK argument assumptions.

appleby/mccarthy-lisp,appleby/mccarthy-lisp,appleby/mccarthy-lisp,appleby/mccarthy-lisp,appleby/mccarthy-lisp