Function types 

pub fn types(graph: &Graph, root: &str) -> Result<Typing, EngineError>

One Ty per node, across refs, over the instances root reaches.