Change the template introduced by the emacs-mode for Datatype declarations.

This makes the mode use the syntax introduced in b4161465b.
Test for ThmSetData bug fixed in 8ffc5dc0b; prettify adjoined SML output