How are the contracts expressed? The web page does not seem to provide any details on that part, which seems rather crucial. Are they written in some domain specific language?