Annotate patterns with types