Added Order and Monoid for CaseInsensitive.