add IType and TypeProxy