Fair enough. For those who don't follow, the "hole" is that whenever an explicit glob is the RHS of an assignment, the member of the glob matching the LHS will be substituted. This is because a glob is both a type and a collection of types.
My criteria for good software:
Does it work?
Can someone else come in, make a change, and be reasonably certain no bugs were introduced?