chore(frontend/lean/pp_options): use consistent name convention for pp option names
refactor(library/logic/classes/decidable): rename 'decidable_eq_to_decidable' theorem to 'of_decidable_eq'
checkpoint

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