Macros very often require a fully-operational typechecker. Is this something that has already been attempted in unit tests?