Source code used in tagtree.tv screencast on ES6 proxies