Привёл пакет для контрактного программирования в порядок, проапгрейдил, добавил баджики, лого, а None сделал ридми более читаемым. И даже на reddit опубликовал: https://redd.it/86j6kv
Мой первый микропост там, к слову. Пишите, жмите стрелочку, которая вверх, ставьте звёздочки на гитхабе. Для вас стараюсь :)