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