契約を円滑にする、契約のための言語