TypeNode and