feat(frontends/lean): add 'include' and 'omit' commands, closes #184