There's a lot of cases where Zac has broken out of the type system for zero benefit. This just harms readability without improving performance, e.g. decompose is doing a bit decomposition but return in the values as Field

Rather than using Noir's automatic constraining of return types of unconstrained functions, he's instead injecting a manual boolean check here:

This is a direct 1:1 with what Noir would do if it was just written with the expected types from the start.

Having written this out, I noticed that Zac is just doing to_le_bits here so we can remove this function entirely.... That said, there's likely a bunch of different cases of this around the library.