Allow type pushing when multi-typed function symbols are not part of the Datalog program.
Merge branch 'feature/aggregates2' into feature/count-order-2
isAggregationPredicate() method added. Aggregation detection improved.
fixed push types for aggregates and orderby
Merge remote-tracking branch 'origin/feature/count-order-2' into feature/aggregates2