pull request fixes

- more examples
- add missing builtins