rework IsTrgp data structure as extending IsGroup
navigate GAP's filter system