Extended syntax for the 'list:' contract as for a function domain. Fixed some bugs in the 'tacit' module.
Merge branch 'master' of https://github.com/samsergey/formica