Remove support for multiple tags on an argument.

More work to simplify the type system. Multiple tags are extremely rare and are near-useless. They're hard to shim into a real type system without annoying hacks.

I'd like to do this right later on with true tagged unions. For now, let's try to can 'em.