fix(frontends/lean/decl_cmds): modifiers should be after universe parameters

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/type_checker): missing check

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/type_checker): missing check