log src/datatype_kind.sml

age author description
2009-04-16 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes