Yes, I am thinking of bounding the AttrTable to a variable Making the table behave like a regular variable so we don't have to worry about scoping or modifying the context when it is not allowed since everything will handled automatically.
The special AttrTable will be replaced by a dummy during type erasure. Everything should simply work.