Added a Globally_Bounded_List_Template and associate flip enhancemen...

...t/realization.  Added theorems to Integer_Theory and made Stack_Template import them.