defining constructors as expected in respec, as interface members; doesn't correctly displzy the WebIDL fragment in the generated HTML, pending merging of darobin/respec#262