Basic support for:
- Symbols: Variables, Constants, Predicates
- Connectives: &, |, ~ (NOT), =>, <=>