Ban new used symbols occur in identifiers
And another one fix for `if`
Add a bunch of code from the first chapter of SICP. And it works