Small tweaks to proof script engine #3020

Intended Change

While working on scripts, I fixed a few bugs in sequent parsing, and proof rules

Reason for the pull request

bugfix

Touched elements

classes in the proof script package

Information for the reviewer

One class was renamed. Also changed in the service list