Changes to Static_Array_Template

Rather than using quantifiers directly in the initialization ensures clause, we create a definition to hide the quantifier.