feat: Parser e Type Checker para test framework (Projeto 8, Partes 1 e 2)

[agaf2]

Group

Alberto Guevara de Araujo Franca
Davi Gonzaga Guerreiro Barboza
Fábio Pereira de Miranda
Felipe Torres de Macedo

Summary

• Parses test "name" { stmts } as new top-level declaration alongside function declarations
• Parses assert expr; as new statement type
• Type checker validates assert requires a bool expression
• Test bodies are type-checked like void function bodies (no return type)
• Detects duplicate test names at compile time
• Programs with only test blocks (no main) pass type checking

Test plan

• New type checker tests: assert with bool, assert with non-bool (error), test block OK, test block without main, duplicate test name detection, bad assert type in test block
• All 135 existing tests pass (cargo test)
• Test fixture test_framework.minic parses and type-checks correctly