free_term (Mixfix_cast s r) = Mixfix_cast s' r
     where s' = mkFreeName s
free_term (Mixfix_cast s r) = Mixfix_cast s' r
     where s' = mkFreeName s
free_term (Mixfix_cast s r) = Mixfix_cast s' r
     where s' = mkFreeName s