Bitarray implementation in Nimrod