TAC type system simplification.