Atomic cross chain trading requires non-standard transactions. After giving it even more thought, I was able to squeeze it into a protocol that requires exactly one non-standard transaction.
OP_IF to allow multiple choice release and hash protection would be nice to have operations.
The scheme in your
draft BIP won't work because Alice only signs the first input of Bob.Payout, Bob is free to change the second input in order to not reveal x.