Module Ast.Branch_cond

Condition codes for B.cond instruction. Unifies integer and floating-point conditions - architecturally it's the same instruction, but we preserve the distinction for semantic clarity.