WE DID IT!: Loosen the type restriction for this stack allocation trick to any concrete isbits
I think we probably don't even need isbits, but that remains to be seen.
And now it works for the original motivating example!!!! :)
There are still extra allocations from our much less optimized version
of apply_generic, but OH WELL the proof of concept is here. :)