New syntax for stand-alone deriving. Implemented fully.