contracts 0.4.0

Design-by-contract attributes
Documentation