cl2fol :: Module -> ([Def],[Prop])