refactor(library): move more notation to general_notation
feat(library/data/nat/div.lean): remove dependence on funext
fix(library/nat/div): remove unnecessary '_''s

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/nat/div): remove unnecessary '_''s