Fix ordering of type-checked files
Type check results module