casqelim :: Session a => a -> Named CMD -> IO (ProofStatus [EXPRESSION],
 [(Named CMD, ProofStatus [EXPRESSION])])
casqelim sess cmd =
  do
    proofstatus <- procString sess (senAttr cmd) $ exportReduce cmd ++ ";"
    return (proofstatus, [exportLemmaQelim cmd proofstatus])

-- | declares an operator, such that it can used infix/prefix in CAS
casqelim :: Session a => a -> Named CMD -> IO (ProofStatus [EXPRESSION],
 [(Named CMD, ProofStatus [EXPRESSION])])
casqelim sess cmd =
  do
    proofstatus <- procString sess (senAttr cmd) $ exportReduce cmd ++ ";"
    return (proofstatus, [exportLemmaQelim cmd proofstatus])

-- | declares an operator, such that it can used infix/prefix in CAS
casqelim sess cmd =
  do
    proofstatus <- procString sess (senAttr cmd) $ exportReduce cmd ++ ";"
    return (proofstatus, [exportLemmaQelim cmd proofstatus])

-- | declares an operator, such that it can used infix/prefix in CAS