[gsac] Fill out gsac.prefix.file.add

Ignore-this: a00287485229c7a3126165430a104afb

darcs-hash:20130627195008-2809a-3c63bd79bf43eaf51459952dbe3d7d12340e54bf
[gsac] Implement file.add for documents (which are ignored)

Ignore-this: 8b879f45962ac88b4d8a12001a1e9f6d

darcs-hash:20130627202607-2809a-7e17ad8a326d97f0ec1fb4ad2f80bd6b9faeea41
[gsac] Fill out file.add/typesection

Ignore-this: 4a669501e31d9ebabf5fcb55abf7fb43

darcs-hash:20130627205205-2809a-a4b8b6fb4e69b29cef55c59e24cfc0511ac3d1e5
[gsac] Add tyabstract constructor to ags.typeitem.t

Ignore-this: b74a15110a134fd5a7839d84dbe5ba0c

darcs-hash:20130627210900-2809a-508c26b6e5f6bad8a7ef3930ad9da6eb8c4da7c6
[gsac] Add lifted constructor to ags.typeitem.gskind.t

Ignore-this: 64f9df1286021787a07af31a297f9bc6

darcs-hash:20130627211517-2809a-e9479b53c97f79d73a26d01a5edcf2421bbea097
[gsac] Fill out file.add

Ignore-this: 354a823d09983eef9d5275b40bd0ebd5

darcs-hash:20130627211811-2809a-2ba680a4342ff422152bf846c942ee8a8566793f
[gsac] Test for parsing abstract types

Ignore-this: 3b805e243990947b7712d563582bafc1

darcs-hash:20130627213607-2809a-caed8db4cb9df37c788110495d4077adda290953
[gsac] Implement parse tree for abstract types

Ignore-this: 22556e3a5ed1c66c3e9be54cff17d794

darcs-hash:20130627215143-2809a-d57eddd269d3a72c5f938c3f104bf4672e7b736a
[gsac] Fill out file.add

Ignore-this: e5e1ec86e92d6e59c61136dea7088db4

darcs-hash:20130627222244-2809a-e37b9c8b9fd82b4b0d41d9b914289f776962f35f