integrate relational scoping and pipe scoping

[mccanne]

This commit integrates relational and pipe scoping by moving the type analaysis from the semantic checker into the translator. With this change, the fused type that emerges from a pipe query can be fed into SQL and converted into a relational table and SQL output relations can be converted back into super types for type analysis in a pipe query segment.

I clicked in the wrong window