fix(match): else handler gets records minus those data-matched

Previously the `.else` handler in this case would statically receive
`A|B|C`. Now it correctly only receives `B|C`.

```ts
Alge.match(dataABC)
  .A(...)
  .else((data) => ...)
```

src/match.ts

@@ -13,7 +13,7 @@ Terminology:
  */
 
 import { OmitTag } from './core/types.js'
-import { inspect } from './lib/utils.js'
+import { inspect, ObjectValues } from './lib/utils.js'
 import { SomeRecord } from './record/types/controller.js'
 import isMatch from 'lodash.ismatch'
 
@@ -151,6 +151,10 @@ type PostMatcher<ADT extends SomeRecord, PreviousTagsMatched extends string, Res
   ADT['_tag'] extends PreviousTagsMatched ? {
     done: () => Result
   } : {
-    else: <ThisResult extends unknown>(value: ThisResult| ((data: ADT) => ThisResult)) => Result|ThisResult
+    else: <ThisResult extends unknown>(value: ThisResult | ((data: ExcludeByTag<ADT, PreviousTagsMatched>) => ThisResult)) => Result | ThisResult
   }
 )
+
+type ExcludeByTag<Record extends SomeRecord, Tag extends string> = Record extends { _tag: Tag }
+  ? never
+  : Record

tests/match/match.spec.ts

@@ -102,6 +102,10 @@ describe(`.<tag> (Data Matcher)`, () => {
 })
 
 describe(`.else`, () => {
+  it('does not receive tag X when a data matcher for X has been set', () => {
+    const builder = Alge.match(a as ab).A(() => 1)
+    builder.else((data) => expectType<B>(data))
+  })
   it(`not available if no matchers have been defined`, () => {
     const builder = Alge.match(ab)
     // @ts-expect-error Not available yet.
@@ -119,7 +123,7 @@ describe(`.else`, () => {
   it(`is available if some but not all tag matchers have been defined`, () => {
     const builder = Alge.match(ab).A(() => 1 as const)
     expectType<typeof builder.else>(
-      0 as any as <ThisResult>(value: ThisResult | ((data: ab) => ThisResult)) => 1 | ThisResult
+      0 as any as <ThisResult>(value: ThisResult | ((data: B) => ThisResult)) => 1 | ThisResult
     )
     expect(builder.else).toBeDefined()
   })