optimized Nat <-> Vect n Bool