add some docs at top of tc.arr, explaining overall structure, inference