~nytpu/dbc-scheme

add snow links to README
update documentation
update readme
have define-contract use lambda-contract
implement function contracts
initial commit