addType ses modName (inscps, exps, mod)
  = do
       res <- findDefsWithType ses mod modName
       return res
addType ses modName (inscps, exps, mod)
  = do
       res <- findDefsWithType ses mod modName
       return res
addType ses modName (inscps, exps, mod)
  = do
       res <- findDefsWithType ses mod modName
       return res