[gsac] Allow value arguments to .lprims

Ignore-this: 4c8f40f6ffaf5cb69987de4c1062bc7f

darcs-hash:20131027235635-2809a-bd170367cf19028925fdd76723c3a3b48480aece
[api] Re-name .tyapiprim directive and allies to .tyimpprim since API is an implementation, not a calculus

Ignore-this: c90a8bd09e82697c4a0be53f283245b1

darcs-hash:20131028013555-2809a-958573949e70726cb624fabf7430fc6151a67ffb
[gsac] Allow .tyimpprims in string code

Ignore-this: 2c340a6fbd3b3000fceb36d7b29a285d

darcs-hash:20131028024224-2809a-3e80b66549352e0a63586c35e8436f35c1a08d01
[gsac] Allow .tyelimprims in string code files

Ignore-this: 4722a879aaac2925f63912433b6b4dcc

darcs-hash:20131029053021-2809a-1ea43b4d50702fa6cf3785040f1d70463a60487b
[gsac] Allow .tyintrprims in string code files

Ignore-this: bc9462ecde78eb6f52684b33e3f8c3c

darcs-hash:20131030022912-2809a-767d3f9d46387f3fa83e596e26d2fb2a6b356b36
[gsac] Parse trees for .tyimpprims

Ignore-this: a347804142aae2bf0b5f39dda87bc287

darcs-hash:20131030031901-2809a-fbd03349e4cf145ac741a5bf139e11742b0b9d2f
[gsac] Implement parse trees for .tyelimprims

Ignore-this: 8eb95ad0326f1cbb13f9a71b84e9c17d

darcs-hash:20131031035526-2809a-e1534196f45d292966fb80f9c42c22cee5c34ea7
[gsac] Parse trees for .tyintrprims

Ignore-this: f4ceaa92a0964d6b421afa9e335358a7

darcs-hash:20131031043119-2809a-0e7b228ed616d199c94f83e1263c3c829a8e03c5
[gsac] boundvars/tyimpprim

Ignore-this: d390806e2e47ce9389b41deb8d65b8e1

darcs-hash:20131031044234-2809a-391115feca45ec2d7744afd2774357dd472dbde7
[gsac] boundvars/tyelimprim

Ignore-this: 1af583f6a29d3de5975f724eddf26ca3

darcs-hash:20131031044318-2809a-17ebe22b86edd955219fd8fe9210b29f96d77ed5
[gsac] boundvars/tyintrprim

Ignore-this: 7a2b4119276f7183eef363a9b7776f9b

darcs-hash:20131031044407-2809a-dbf9157f3a73cebbc765d29b6f8d842a3f2d87e2
[gsac] Include .tygvars within .tyabstypes in interface.freevars

Ignore-this: 83b768e677531ebf5554c15b4aba4334

darcs-hash:20131031045154-2809a-4867391e263e18bd264d58a3d8afbd45c332276c
[gsac] Move prefix.typecheck tests into a subtest

Ignore-this: f8fff3807cc20dcf40536040587d287a

darcs-hash:20131101013224-2809a-2ae973aa5cd1ddf6f989f3edd0fc024cee5a2d34
[gsac] Extend prefix.typecheck to insert expansions for .tyelimprims when present in the prefix

Ignore-this: be3a2286c5b6461815ba882d5b67584c

darcs-hash:20131101041001-2809a-2be3ae7e407ce0515f659b387de3854fffe43e45
[gsac] gsdl.cgs.gskind.fmtgs/unlifted

Ignore-this: c26658396b23e3b1b9b99ad912364919

darcs-hash:20131103023517-2809a-ee35328c01d3702a3240fba72f704935a2efed0e
[gsac] gsac.prefix.typefnitem.fmtgs/elimprim

Ignore-this: 27a5b5d2dc510bdc5521201ad5e93780

darcs-hash:20131103023537-2809a-d4018b54f593b22ef14d93337def89f85156e2e7
[gsac] gsac.prefix.typefnitem.≡/elimprim

Ignore-this: 9bd9c903955874aed4d162c6d2270950

darcs-hash:20131103023626-2809a-ec66e586a6b7a2f378a5931db02cfad4fc8ea78a
[gsac] gsdl.ags.typeitem.gskind.unlifted

Ignore-this: 5ea016f1a87a488704828f9f25c1dfbc

darcs-hash:20131103024904-2809a-69ccaf855a07c4705356b0ba87c38d4661fbd94c
[gsac] gskind.upconvert/unlifted

Ignore-this: 6d5b3037a6789eb7bbd93fa1ed36487a

darcs-hash:20131103024943-2809a-5bc2439db3f8319732552978843675d57dccca6e
[gsac] gsdl.cgs.gskind.==/unlifted/unlifted

Ignore-this: 8d3da5d1e325069b02842621e4564a67

darcs-hash:20131103024420-2809a-3ec1b8af74811daf8bec3818249fc12e202d7499