Как-то тоже решил разобраться с этой "удобной возможностью" . Резюме - хрень, может инкапсулировать общий код, который не меняется и не управляется переменными. Выводы о возможности использования переменных - были такие же как и у вас.
По сути это специальный тип пакета, который можно вызывать из родительского пакета.
Если вам нужно инкапсулировать функциональность и управлять через переменные - сделайте еще пакет и вызывайте из родительского. Недостатки - нельзя (почти :) передать переменные назад и есть тонкости работы внутри распределенной транзакции.