Library Stdlib.Init.Prelude

From Corelib Require Export Prelude.