Documentation

The language of type representations: first-order and typed
It is quite like the language of intnegadd we have seen before,
but it is now typed.
It is first order: the language of simple types is first order