The Eris Standard Library of Smart Contracts