Call to ModuleType.of_signature
Visibility flag removed
declaration.ml file to group declarations in a module type added