HBAL Typechecker
Examples:
test_arith.hbal
test_call.hbal
test_jumps.hbal
test_list_paper.hbal
test_move.hbal
test_move_macro.hbal
test_parser.hbal
test_trees.hbal
sign main: { sp:[[code]+]+ , r2:int+} <> main: arithi r2 <- r0 + 42; arith r2 <- r0 + r2; ret main; <>