The Binding classes are currently simple tuples of data with a tag/type that communicates it's semantics.

These classes can be cleanly converted into records. When type switch comes in, we could even get rid of the tag as well, and just use the type of the class instead.