2D arrays.

This would give an opportunity to handle matrix related exercises, also graph problem exercises.

• Z3
• Test
• Extensive test suite