fixing some lemmas

server ok after sub-tp-trans, but more stuff to be done to
match paper rules