在JavaScript中正确使用interface关键字和`@@`是什么？

Question

interface是JavaScript关键字reserved for future use和@@我经常在描述ES6新Symbol类型的材料中看到。

例如来自jhusain/asyncgenerator：

interface Observable {
  Generator @@observer(Generator observer)
}

interface Iterable {
  Generator @@iterator()
}

这只是比喻用途吗？ interface和@@的含义/或在文档/规范/功能提案中找到的正确用法是什么？