some fixes for changes to free_varsTheory