Habe ein paar Files ergänzt, um die All- und Existenzquantoren für Prädikatenlogik/Firstorder-Logik/FOL einzuführen.