* restrict flat contract's syntax to value
* fix language
* add tests
* update notes
* render FC also