TCP_hostLTS, ported first transition rule

This was semi-automatically translated using my new tool
"hol_to_lem"!. Manual steps e.g. for type-based disambiguation. Still
quite painful.