Fixed O(N!) problem with the new type checker. Introduced use of scope nodes. Rev: src/pike_types.c:1.308