experiment: index tsel by rect type
transitivity
server ok
cleanup
subtyping instead of expansion in path-eval