Tighten PTypeInfo rules and default implementation
Set up element-type for double arrays