fixed a bug in composition closure computation (was expanding under all
super-properties, not only told ones), improved documentation,
introduced a test
Merge branch 'elk-new-incremental' of https://github.com/klinovp/elk.git into elk-new-incremental