Function types_at 

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

At rate, whose step each sp is.