Library Stdlib.derive.Derive

From Corelib Require Export Derive.