Effectively all Lem FIXMEs removed.

A bit more work is left to eliminate superfluous definitions from
TCP1_lemSupport.