Reorganized TypeOperators into package level definitions and toplevel types and objects.