This seems like a poor match for what you describe, it's still interesting and in the problem space so you might take a look: dualvar.