Relations between codes and data structures

Although not quite sure how this is going to work on the value level
just yet...