fix(frontends/lean/builtin_cmds): allow coercion command inside section, fixes #186