How to use a `universe.Tree` created and type-checked in one Scala macro execution, in another macro execution?

Question

In the JSON library jsfacile I was able to automatically derive type-classes for types with recursive type references thanx to a buffer where outer executions of a macro sto