(Side note, if a dummy declaration is returned by `attribute`, the assert is still triggered.
Yes, it would really need to return a new kind of declaration, so we'd need to change the definition of `Let` in `lexp` for that.
Everything has to be done during the elaboration phase because we need to be able to inspect the lexp-table to retrieve the default attribute when processing implicit arguments.
That's right.
I don't think lexp-table is needed at runtime since all the lookup should have been done already.
Agreed. But we'll leave that to some hypothetical future optimizer.
Stefan