switched name relation over to using name tables rather than isabelle tables. the same can be done for other maps