respond to PR feedback

Remove Proj.Synthetic; instead, annotated the introduced projections with a
Synthetic annotation. Lots of ensuing fallout, resulting in slightly easier
to read composition of AST analyses.

Some minor cleanup.