Tweaks to array size computation.
Add ppFun function.
Fix(?) size annotations for arrays.