revamped path type assigment. some trustmes.
wip. try to prove narrow-env lemma or just keep slack in st-tbind2?