add Weq, Isaprop, Isaset, and idfun to TS7