test return types
infer return types! remove parser restriction brackets around program
update test syntax
update environment with inferred func types