Типизированные объекты ES2016 - могут ли они использоваться для статического ограничения формы объектов?

Question

Могут ли типизированные объекты, предложенные для ES2016, использоваться для ограничения API аргументов?

Например:

function foo(options){
  // I want to guarantee that `options` has a single string property `bar`.
  // Can typed objects help me with this?
}

Документация ECMA:

• http://wiki.ecmascript.org/doku.php?id=harmony:typed_objects
• https://github.com/dslomov/typed-objects-es7

Это редактирование предыдущего вопроса.