pub fn identity(typing: &Typing, node: NodeId) -> Result<Hash, EngineError>
What one node is, whatever it holds: its definition and the identities of what it reads, never where a reader places it.