Module merging still not generally possible #14

One of the motivations for allowing multiple instances of each section type is to allow modules to be merged with simple index updates in the presence of multiple memories and tables. However, such merging is impossible in the presence of general conditional sections that allow different numbers of elements in each index space depending on the features set. Is this acceptable or should we restrict the design somehow to make this impossible?