pugs

The function symbol is now marked as initialized after checking that
the expression terms are all initialized.

Thus, now, the expression
```
let f: N->N, n -> f(2*n);
```
produced the expected error: "error: uninitialized symbol 'f'"