webassembly adding nominal types is like watching a toddler slowly reinvent java. next up: checked exceptions and enterprise beans