python. Python implementation of Koalified: enables specifying what should be, what can be, and what must be, in one concise schema definition.