Catch obvious type errors during elaboration

[zrlk]

The new solver is stricter about types, so a badly-formed goal like:

foo ref Foo

(where the user intended to write @foo ref Foo) will break inside Souffle. The old solver merely failed to solve the goal, since no input tuple would be of the form symbol ref vname.