ReadSS:
  readSS :: FilePath -> IO [Sheet Fml]
  sheet2relation :: Sheet Fml -> (R String, Relation String)  
  ssForms :: FilePath -> IO [[Attribute String]]
  listForms :: Sheet Fml -> [Attribute String]
  ss2rels :: FilePath -> IO [(R String, Relation String)]


FDInference:
  fun :: (Eq a, Eq b) => R a -> Relation b -> FDS a


Synthesize:
  synthesize :: (ToInt a, Eq a) => FDS a -> CFDS a
  

FDCare:
  rel2rdb :: Eq b => [Attribute String] -> R String -> Relation b -> Box
  rel2rdb1 :: FDS String -> [Attribute String] -> R String -> Relation b -> FDS String
  rel2rdb2 :: Eq b => [Attribute String] -> R String -> Relation b -> FDS String


FDS2Type:
  -- returns a RDB schema
  fds2type :: FDS String -> Box 
  -- returns a RDB and the data in the same format
  getData :: MonadPlus m => Box -> R String -> Relation String -> m Box 


TwoLevelPF:
  rdb2ss :: Rule
  tables2table :: Rule
  table2sstable :: Rule
  tables2sstables :: Rule
  tables2sstables' :: Rule


Formulas: 
  sheet2trigger :: Sheet Fml -> Sheet Fml
  calcExpr :: Sheet Fml -> Sheet Fml


Ss2Rdb:
  -- just gives the type and data inside the box
  ss2rdb :: FilePath -> IO [Maybe Box]
  ss2boxes :: FilePath -> IO [(Maybe Box, Maybe Box)]


GenSS:
  -- must receive a list of boxes with a SS type and values in it and a Gnumeric workbook
  genSS :: [Maybe Box] -> Gmr'Workbook -> Gmr'Workbook
  ss2SS :: FilePath -> FilePath -> IO ()
  

GenSQL:
  -- receives lists with the RDB and the triggers
  genSQL :: [(Maybe Box, Maybe Box)] -> [[String]]
  ss2SQL :: FilePath -> FilePath -> IO ()


GenDB:
  genDB :: [(Maybe Box, Maybe Box)] -> MySQLOptions -> IO () 
  ss2DB :: FilePath -> MySQLOptions -> IO ()


HaExcel: Main module, imports and exports everything