Adding trf from regular types to annotated types.

This is just basic and respects only built in annotations. Everything else is
Top.
Handling Tups in a basic form.
Converting Ty to RelTy is a bad idea. Commented.

This lookup brings things to a halt. Commenting out before deciding what to do.
Fixing generation of rhos. Fixing context splits.

Added most of the code for generating rhos. Moved to UIDS, from the original
Gam related code. Also fixed the representation of context splits.
Fixing the meets and joins in context splits.

These were probably incorrect. I'm sleepy and that code was confusing.
This one matches my text and explanations better. And works. That probably
matters more.