The interface types proposal seems to have been dead for a while, unfortunately.