-- import rule plays here
typeLinkingExpr db imps su expr@(NewObject tp args dp) = [rt | FUNC _ _ _ _ rt <- (symbolLinkingExpr db imps su expr)]
typeLinkingExpr db imps su expr@(NewObject tp args dp) = [rt | FUNC _ _ _ _ rt <- (symbolLinkingExpr db imps su expr)]
typeLinkingExpr db imps su expr@(NewObject tp args dp) = [rt | FUNC _ _ _ _ rt <- (symbolLinkingExpr db imps su expr)]