feat(kernel): add dependent pairs

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): parse and pretty print sigma types

This commit also fixes some bugs in the implementation of Sigma types.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): parse and pretty print sigma types