Add support for MSO parsing and syntax

**Is your feature request related to a problem? Please describe.**
Support for Second-Order Logic is missing.

**Describe the solution you'd like**

Implement it.

TODOs:
- [ ] parsing
- [ ] syntax 

**Describe alternatives you've considered**
n/a

**Additional context**
n/a
