Datatype like StandardML

Hi!

I want to use datatype syntax like StandardML.
So I've added it.

Internally, the datatype declaration converts  to case class declarations.