pub fn elaborate_pattern(
  pat: elab_types.SPattern,
  ctx: elab_ctx.ElabCtx,
) -> Result(
  #(elab_ctx.ElabCtx, ast.Pattern),
  elab_types.ElaborateError,
)