The anonymous block declares the variable n1 of the type pkg.NumList (defined in the package) and the variable n2 of the type NumList (defined in the block). The anonymous block can pass n1 to print_numlist, but it cannot pass n2 to print_numlist.
DECLARE
TYPE NumList IS TABLE OF NUMBER; -- local type identical to packaged type
n1 pkg.NumList := pkg.NumList(2,4); -- packaged type
n2 NumList := NumList(6,8); -- local type
BEGIN
pkg.print_numlist(n1); -- succeeds
pkg.print_numlist(n2); -- fails
END;