fix(frontends/lean): bugs in notation management

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(util/sexpr): crash in the sexpr Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(util/sexpr): crash in the sexpr Lua API