feat(util/sexpr/format): expose flatten

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): add kind and type to index, closes #89

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>