tpdb-1.3.3: Data Type for Rewriting Systems