Add info about supported language in contract expressions in README