feat(library/tactic/generalize): add 'generalizes' syntax sugar
refactor(library/data/nat/div): remove unnecessary annotations
feat(frontends/lean/placeholder_elaborator): apply substitution before collecting local instances, closes #333