Add tree querying, update readme and spec