Adds Tpat_interval in Typedtree interface