Add a generic get-uid function for all things in pda-terms
modify traverse-pdarisc to return a function for terms or term*s