RefineEffectiveStatementImpl happens to implement SchemaNode contract, which is not actually used anywhere. Most notably UsesNodes do not expose refines, but rather their effective indirection, i.e. pointers to the target nodes which have been refined.

Drop the implementation of SchemaNode, reducit overhead and the mismatched contract we are attempting to fulfull.