Feature/general predicates#9

Open

wasserfeder wants to merge 11 commits intomainfrom

feature/general-predicates

Commits on Jan 9, 2020

Made small bug fixes, and finished code for the until operator.
wasserfeder
committed

Commits on Jan 10, 2020