For clarity, mocl does support declaim itself. For instance, the call-in syntax uses declaim. It looks like the issue here is with "declaration". I'll look into a fix.