contracts-try 0.7.0

Design-by-contract attributes
Documentation