refactor(data/nat/sub): use new policy for marking implicit arguments and '!' operator
refactor(data/list): use '!' operator, and new name convention for declaration names
refactor(data/sum): use sections
feat(emacs/lean-input): add shortcuts for subscripts
refactor(library/data/prod): cleanup
refactor(library/data/num): cleanup