rewrite emacs SMIE grammar#1369

fblanqui wants to merge 2 commits into

Deducteam:masterDeducteam/lambdapi:masterfrom

fblanqui:smiefblanqui/lambdapi:smieCopy head branch name to clipboard