Separated incremental type system constructions from the K3 type tree, which is to be used for type expression parse trees and the results of typechecking.