Changes to accommodate nano-js

- Srcpos -> Srcspan
- Changes in the Syntax (added casts)