add tests for mul, div, car and cdr