A little library for asserting types and values, with zero dependencies. Follower for check-types (archived).