Add test for capability-to-bool decay.
Fix handling of binops with capability arguments.