Skolem context now contains a signature, with types for all
new symbols generated so far
updated QCheck;
more precise arbitrary instance for FOTerm (with type of variables specified)