Added a data type for the ATPs.
Added a data type for the ATPs.

Ignore-this: 8a6df81287bda886f37fdaf48ce70379

darcs-hash:20100630203704-3bd4e-91b33665588a1349b3452c0edf62a7149bee11ff.gz

asr/fotc,asr/fotc