Export an alternative object/c constructor

This functional constructor allows runtime construction
of object contracts in extension libraries.
Add a custom object contract for use in TR

This corresponds to the more strict object contracts
from the OOPSLA paper. Also use `object/c-strict` in
TR contract generation
Fix contract caching

Caching has to take into account the typed/untyped direction
as well, since a contract like Any is interpreted differently
based on which direction the import happens.
A ton of GUI type improvements
Update insert-large-letters

There were more type errors due to the improved
precision of type-checking in TR
The auto-language module no longer works in TR

This requires more thinking about object contracts and
object polymorphism. The current object contracts are
too restrictive and the old object contracts are too
loose.

Also changed a few methods that used a backwards
compatibility arity that doesn't work with TR at the
moment.
Update tooltip.rkt for new GUI types
Use GUI types defined in TR for flomap