homomorphy_form (Definedness t r) = Definedness t' r
     where t' = homomorphy_term t
homomorphy_form (Definedness t r) = Definedness t' r
     where t' = homomorphy_term t
homomorphy_form (Definedness t r) = Definedness t' r
     where t' = homomorphy_term t