Macro expansion: Provide information about lexical environment

https://github.com/jolin-io/WhereTraits.jl cites the following limitation with attendant explanation:

> Top Level Only
> Currently only top-level functions are supported, as the syntax stores and needs information about previous function definitions, which it stores globally. If macros would get informed about whether they are defined within another function, WhereTraits could also support innerfunctions.

I know flisp is involved with macro expansion. Is the above limitation something that can be addressed with this package?