Implemented and tested contracts

ABI documentation and an independently reviewed launch.json.