constructors for type validators
ortrue
path node validators
printing path nodes