Pattern synonyms for the abstract types

[ezyang]

This would help ease the transition burden for PackageName, Version and FlagName, which currently require a lot of mechanical rewriting to make abstract.

[23Skidoo]

Remilestoned.