JavaScript Interfaces with Harmony proxies