Applying basic logic

[r0ller]

As a first thought, the currently produced call hierarchy is already formal enough but quantifiers are not caught right as they are arguments. So either the functor implementations produce a logical form that can be evaluated or the functors themselves implement the logic. However, for the latter to work e.g. 'if a then b' requires that a() and b() return bool so each functor needs to be implemented while in the former case they may be generated if the produced call hierarchy is made available for the functors..