mostly a better error reporting in type inference code.