fix(frontends/lean): more precise position information for infix operators

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/elaborator): remove_detail procedure was keeping a lot of details when typeof_mvar_justification was being used

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/environment): we should not add an universe contraint object to the set of object when an integer overflow occurs

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(examples/lean/even): use new name for distribute right theorem

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>