a prototype for a declarative contract library