This paper supplies a design and implementation exploration for a more library-oriented approach to contracts.