Fixing Array's boolean specialisation.
Adding arithmetic assignment operator (+=, -= and so on) overloading to BoolRef. Minor changes in BoolRef documentation.