fix(init): initialization problem
feat(frontends/lean/parse_table): add get_head_index auxiliary function for indexing notation declarations
feat(frontends/lean/parse_config): add get_notation_entries auxiliary function for returning the list of notation declarations that start with a given head symbol

This API is need to take notation declarations into account when pretty
printing expressions.