Added assert_equal_list.
Added tests for unify.