-- TODO: adapt the operations to new signature components


-- | determines whether a signature is valid. all sets are ok, so glued to true
isLegalSignature :: Sign -> Bool
isLegalSignature _ = True
isLegalSignature :: Sign -> Bool
isLegalSignature _ = True
isLegalSignature _ = True