Split functionality into modules

Moved quantifiers and boolean operator to separate files