Perform basic type checking of plain Prolog predicate clauses when compiling source files