Revisit data type declarations in the new compiler, to see if we can improve inference for partially annotated data types

[S11001001]

Via @ekmett, 6 May 2013.