Beginning of lemma commands, shell cleanup/reorg, implicit CLS args