This includes calculations and user-interface choices. In the actual implementation, however, references are abstracted as Reference objects, which are containers for the actual references. This supports the generalization to multi-arrows. That is, equality via comparing the object's variables. Translates to Arrow system equality within square and relativised square frames.
Intensional equality is purely reflexive.
Identity arrows represent nul information transitions. Arrows will always be referenced as members of graphs. The implementation as for access will be to first search the underlying finite set of chosen arrows. Graphs are relative, in that they only represent the resulting relation computed by a declarative inference scheme. Type-checking is not implemented yet.