A high-level smart contract language for Bitcoin (BSV).