it is very silly for webassembly to have three top types. i said it!
@wingo four if you count contref! Whoever suggested we have a “bottomest bottom” type should feel v. silly