WYCS: various tweaks to the theory of lists #218
Lists are working a bit better now #218
Bug fix #218
TESTING: Classifying failing test cases.
More classification.
WYRT: put back proper specification for abs() since it now works.