Exploration of a more library-oriented approach to contracts