introducing HasUntypedNode and IsUntyped