Feat(semantic): implementar travessia semântica

[HugoFreitass]

Contexto

As issues de tabela de símbolos e checagem de tipos já definem as bases do analisador semântico, mas ainda faltava a infraestrutura de travessia da AST que conecta essas peças.

O analisador semântico agora percorre a AST de forma sistemática, de Program até Expr, mantendo estado de escopo, tipo de retorno da função corrente e diagnósticos acumulados durante a análise.

O que foi feito

• Implementação da travessia semântica da AST.
• Análise de declarações, comandos e expressões.
• Registro de funções, structs e aliases na tabela de símbolos.
• Verificação de tipos em inicializadores, atribuições e retornos.
• Exposição da API pública de análise semântica.
• Integração da análise no fluxo principal após o parse.

Validação

• O programa de exemplo válido continua sem diagnósticos semânticos indevidos.
• Casos inválidos geram diagnósticos semânticos corretos.
• A suíte de testes permanece verde.

Observações

Essa etapa fecha a ponte entre o parser e as regras semânticas, preparando o projeto para evoluções mais completas de verificação de tipos e uso de símbolos.