fix(library/data/prod): make the notation for tuples and product types consistent
fix(emacs/lean-syntax): syntax highlight for declarations with explicit universes
test(tests/lean/run): expand tree example
fix(frontends/lean/decl_cmds): error messages
fix(frontends/lean/decl_cmds): error messages