Add checks of predicate arguments  #219

It will take time to implement type inference.
In the meanwhile we could have a simpler check: when a predicate is called (including databases) and arguments are used, verify that the predicate has corresponding columns.