Clean up handling of type_grammar deltas and interaction with Thyops

Need a slightly better interface for querying the kernel name
signature information for types, and also alter term functions to not
return constants that don't have up-to-date types.

Now deleting a type doesn't result in broken theories.

With a regression test.

Closes #179