Handle tuples with types in them

[oxinabox]

Diffractor was having a bit of a sad because (Int,) has type Tuple{DataType}
but the primal B has type Tuple{Type{Int}},
and while they are logically the same apparently dispatch does not like that.

The solution right now in this PR is to throw away that extra info we have about B and normalize it to just Typle{DataType}.
idk if it is best, I am open to other ideas.

[codecov]

Codecov Report

All modified lines are covered by tests ✅

Comparison is base (7be0a92) 56.17% compared to head (2a9a3f7) 56.19%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #236      +/-   ##
==========================================
+ Coverage   56.17%   56.19%   +0.01%     
==========================================
  Files          28       28              
  Lines        2848     2849       +1     
==========================================
+ Hits         1600     1601       +1     
  Misses       1248     1248              

Files	Coverage Δ
src/stage1/recurse_fwd.jl	94.91% <100.00%> (+0.08%)	⬆️

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[oxinabox]

@Keno could you give this a review, and see if you think of a better way?

[staticfloat]

@Keno review please