Expand macros again after expanding head of macro

This is a hack for allowing macros to change the shape of trees

Author: anka-213

UDAnnotations.hs

@@ -293,7 +293,7 @@ expandMacro env tr@(RTree f ts) = case M.lookup f (macroFunctions (cncLabels env
    subst xts t@(RTree h us) = case us of
      [] -> maybe t id (lookup h xts)
      -- Expand head: #auxfun Ex a b : A -> B -> C = a b ; cn head
-     _ | Just (RTree h' hus) <- lookup h xts -> RTree h' (hus ++ map (subst xts) us)
+     _ | Just (RTree h' hus) <- lookup h xts -> expandMacro env $ RTree h' (hus ++ map (subst xts) us)
      _  -> RTree h (map (subst xts) us)
 
 ----------------------------------------------------------------------------