Fix type-stability of Bool*Uint32