feat(library/data/nat/decl): add 'measure'
refactor(library/data/nat/div): simplify 'gcd' definition
fix(library/data/nat/div): notation should be local
fix(tests/lean): adjust tests since module 'logic' depends on nat

We need that because of the definitional package