Ported files upto and including TCP1_hostLTS.lem to version of Lem
with git commit 8a348c1cf745.

Slightly worrying that various things that passed before should not
have passed. On the other hand, this indicates that Lem is getting
much better at typechecking.