Switched to unboxed vectors for indexes and probabilities. Added strictness annotations.
Added monoid instance.