files ./satore/clause.rkt and ./satore/Clause.rkt clash on some filesystems (e.g. MacOS)

Many filesystems are not case sensitive and thus these files are written to the same location if you clone this repo.

This also applies to the tests ./satore/tests/Clause.rkt in a similar fashion.

Renaming these files would be helpful.