Draft: Type/data instances: require that the instantiation is determined by the LHS alone (#23515)
This is a partial solution of #23515. I decided, that I don't want to finish it, because it will break too much code. This patch fully implements the task, but tests are not passing, so I share it with someone who will need this change and wants to finish it.