Um... ooops?
Adds Tree.Terms and Tree.Kinds to the schema.

Terms and Kinds which appear in the proof of a thm, but not in the hyps or
conclusion, must not alter the fact's key. This was causing trouble looking up
e.g. bicom by its key: the stmt and the thm were different.