Merge pull request #209 from WebAssembly/tweak-handles

tweak own/borrow handles rules, refactor Canonical ABI logic

Author: lukewagner

design/mvp/Binary.md

@@ -281,9 +281,9 @@ Notes:
 ```
 canon    ::= 0x00 0x00 f:<core:funcidx> opts:<opts> ft:<typeidx> => (canon lift f opts type-index-space[ft])
            | 0x01 0x00 f:<funcidx> opts:<opts>                   => (canon lower f opts (core func))
-           | 0x02 t:<typeidx>                                    => (canon resource.new t (core func))
-           | 0x03 t:<valtype>                                    => (canon resource.drop t (core func))
-           | 0x04 t:<typeidx>                                    => (canon resource.rep t (core func))
+           | 0x02 rt:<typeidx>                                   => (canon resource.new rt (core func))
+           | 0x03 rt:<typdidx>                                   => (canon resource.drop rt (core func))
+           | 0x04 rt:<typeidx>                                   => (canon resource.rep rt (core func))
 opts     ::= opt*:vec(<canonopt>)                                => opt*
 canonopt ::= 0x00                                                => string-encoding=utf8
            | 0x01                                                => string-encoding=utf16