Extract Absyn datatype decl. into separate file

This removes redundancy and also gets the standard Poly/ML
pretty-printer in version 5.6 to print the values usefully, rather than
as "?".