(tests) 1 more test for division type
(tests) Add multiplications size tests
(tests) Check type of lshift expressions