Rename SystemFSorts SystemFBase

SystemF/SystemFSorts.hs → SystemF/SystemFBase.hs

-module SystemFSorts where
+module SystemFBase where
 import Data.List 
 import Control.Applicative 
 import Comble 

SystemF/SystemFImpl.hs

@@ -7,7 +7,7 @@ module SystemFImpl (
     typeOf
 ) where
 
-import SystemFSorts
+import SystemFBase
 
 countTyped :: Either a b -> (Integer, Integer)
 countTyped (Left l)  = (1, 0)

SystemF/Test.hs

@@ -7,7 +7,7 @@ import Control.Monad
 import System.CPUTime
 import Text.Printf
 
-import SystemFSorts
+import SystemFBase
 import SystemFImpl
 import Comble