-- ^ we forget additional information in the signature
projectToCASL :: DLSign -> CASLSign
projectToCASL dls = dls
                    {
                      sentences = []
                    , extendedInfo = ()
                    }
projectToCASL :: DLSign -> CASLSign
projectToCASL dls = dls
                    {
                      sentences = []
                    , extendedInfo = ()
                    }
projectToCASL dls = dls
                    {
                      sentences = []
                    , extendedInfo = ()
                    }