Introduced symbol and term factories.

Thus we only have headers left in the library.
It's not yet fully clear how the additional names during grounding
should be treated.