Common type system(cts)