Fix lazy_segment_tree
Add matrix, modulus_integer (undocumented)