Add conditional types that map between things and things without references

What needs to be modeled?

We need two maps that link things and their respective things without references.

Why is a new model necessary?

This is needed to correctly type functions that use these relationships.