Library Stdlib.Init.Datatypes

From Corelib Require Export Datatypes.