How so? I think they mean as a syntactic feature, not having parameterised modules.

Yes, just a syntactic feature, as transparent sugar standing in for an extra file. (Though I haven't thought the whole thing through more than that.)

What happens if you define an instance inside of a nested module? When does it become available?

I'd like to just see a per-project uniqueness check on used instances.