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