[enhancement] Allow bits type aliases in match statements

[mattskl-openai]

What's hard to do? (limit 100 words)

const WIDTH = u32:2;
type Val = uN[WIDTH];

fn test(val: Val) -> (bool, bool) {
  match val {
    Val:0 => (true, true),
    Val:1 => (true, false),
    _ => (false, false),
  }
}

Here, val is an actual value rather than enum.

Current best alternative workaround (limit 100 words)

  match val {
    uN[WIDTH]:0 => (true, true),
    uN[WIDTH]:1 => (true, false),
    _ => (false, false),
  }

Your view of the "best case XLS enhancement" (limit 100 words)

Let compiler figure out that Val:0 is equivalent to uN[WIDTH]:0