UnlimiTAIT

We plan to initially stabilize a subset of TAIT that will cover the vast majority of use cases. This target goal marks the "complete" feature. It requires stabilize the new trait solver because the approach used by the new trait solver varies from the approach in old solver in certain respects and we do not believe we can reasonably implement those details on the old solver.

Blocked on #112 