Elevence Digital Finance, a startup that has developed a modelling language for determining rights and obligations.