Move isData out to Types since we'll need to partition our declarations in a few places
Replace references to DataSpec with Data and fix pretty-printing for Data declarations