Check subtypes when filling gaps

[conartist6]

The check should happen here. We should look into the covers map and verify that any interpolated node is covered by path.type.

Unfortunately path.type does not exist yet as a concept distinct from the type of path~.node, but it should. For example path.type might be Expression while node.type might be BooleanExpression