Bounds on Associated Constants

Define interface requirements that include constant data values for the implementing type.