add warnings state, thread through everything (no warnings added yet)
move tc-report and tc-file out of tc.arr, add warning if function body doesn't match return type