Get rid of types for lemmas and make them more readable.
Remove needless 'sym's.