Ada语言中提供了对私有类型和子程序的封装机制来实现私有类型扩展和对私有原语的处理。

具体实现方式为：首先，在包规范中定义私有类型和相关子程序，然后在包体中实现具体的操作。在定义私有类型时，可以用以下语法来声明该类型为私有类型：

private type MyType is ...

这将使得该类型在包外部无法直接使用，只能通过包内部定义的接口来操作和访问。

可以在包体中定义子程序来具体实现对私有类型和原语的操作，例如：

package MyPackage is
   private type MyType is private;
   procedure DoSomething(MyValue : in out MyType);
   
private
   type MyType is record
      -- fields
   end record;
   
   procedure DoSomething(MyValue : in out MyType) is
      -- implementation
   end DoSomething;
end MyPackage;

在这个例子中，MyType被声明为私有类型，只能在包内部使用。DoSomething过程可以访问私有类型和原语，从而实现对它们的操作。

在Ada语言中还可以使用限制类型和访问类型等高级特性来实现对私有类型和原语的封装。