Restricted well-kindedness for t-cat to str types.
Added t-ext to type language.
Cleanup.
Added object fold to reduction and typing.