Remove lists signature from Signature module.
No need for deriving instance Typeable Ord/Arbitrary now.