rework/simplify rules for connectives
restructure FOL parser specs
Now parsing arg lists, function calls and terms