Move annotateExpr into expectLeft
Add (failing) composite tag tests
Infer.Subst -> Infer.AppliedPiResult. CompositeTag prevention.
More correct TypedValue Show instance