Instantiations can appear in any specification section (i.e. places declarations of variables can appear). This includes module specification sections.
Perhaps, but I wouldn’t expect it anymore than what people are doing now with fypp and the like.
Not at the moment. We intend to explore ways to facilitate that, but expect it will be difficult for compilers to find the implementation for instantiation so whatever solution we come up with will have to consider that.