I assume the issue is around this line:
https://github.com/IvanRublev/Domo/blob/master/lib/domo/type_checker_generator.ex#L128
It is trying to save a compilation environment to use it to expand things at runtime. Not only this slow, it won’t work as you noticed. 
They should do whatever expansion they need at compile time and remove the runtime expand calls.
