adding predicate contracts
adding this contracts
wip
adding implicit this for method contracts
cleaning up docs, adding auto converting contracts
bump version
Merge branch 'master' into gh-pages