Replace `Instantiation` with `Specialiation` everywhere

[paluh]

It seems that specialization is a more correct term for the scenario which we are implementing :-)

[paluh]

For more details please check: https://discourse.purescript.org/t/nomenclature-application-specialization-instantiation-type-synonyms/2023