New type for children specification in progress.
Work in progress.
BlockML.Instance restored.
Children_spec: binary connectors have list arguments.
New interface functions for Children_spec in progress.
Testing in progress.
Merge branch 'master' into children_specification_enhancement
Tests seem ok.
Progressing on spec_of_block
Progressing on spec_of_block
Progressing on spec_of_block
Children specification enhancement done.