More work on signatures.

Got metatheory compiling again, but with some cheats for 4 false lemmas.