Proved given list a, b (len a) + (len b) == len (a ++ b).

Also removed a lot of stuff from ListProperties that was not useful.