[Ada] Strengthen checks for instantiation with interface types