Set Theory: Tests

As long as an implementation adheres to class interfaces of st_implementation, these tests will be fit for it.

EiffelStudio compiler bugs