fix(frontends/lean/parser): bug in tuple/proj1/proj2

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(builtin): simulate subtypes using sigma types

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(builtin): simulate subtypes using sigma types