tpdb-1.3.2: Data Type for Rewriting Systems