fix(emacs/lean-syntax): use word-boundary instead of symbol-boundary
fix(emacs/lean-company): always allow typing for FIND_P
feat(emacs/lean-company): add auto-completion for option names