Function terms now store references to their defining object, to allow them to share canonizers.