add NullType
add TypeManip