represent Set Int as [Bool]

`s :: Set Int` can be represented as `[Bool]` where `elem x s = s !! x`.

then also `Relation Int Int` as `[[Bool]]` (a matrix), and operations on them, cf. https://github.com/jwaldmann/satchmo/tree/master/Satchmo/Relation

also, (small) natural numbers as singleton sets.
