Explicit handling of missing contracts specifications in docstrings. Fixes #12