contracts 0.5.0

Design-by-contract attributes
Documentation