Support `as`-patterns in pattern contexts

[aisamanra]

This is particularly useful in conjunction with #29: if we had as patterns, we could write something like

fn ortho {
  [<"ch", ("e" | "i") @ vowel>] => "c" vowel;
  (* et cetera *)
}