Querying the Typed Graph