Macros AST should be replaced with UniAst for simplicity, as it doesn't provide any critical feature that can't be implemented directly in UniAst.