feat(frontends/lean): add 'universes' command
feat(frontends/lean): add 'universes' command