Zack

It seems appropriate to annotate patterns much like enums are being annotated.