Implement a symbolic object for the relation "is an element of"

- [x] naming (e.g. In, MemberOf, Element)
- [x] move this class to the logic module? - no
- [x] latex support and pretty-printing

(on top of the one commit from #7898)