Add a new benchmark for mmul
Add support for direct multiplication without precreation
Prepare a real lazy mmul
Test cases for mmul_2
Add tests
Prepare test case for lazy mmul (WIP)