Copy tickets from Unbound's Google Code bug tracker.

[lambdageek]

The RepLib/Unbound Google Code Issues List has a number of Enhancements and Defects that ought to be copied over here so that we can work on them.

[lambdageek]

Open issues:

• 3 - RepLib
• 4 - RepLib
• 6 - RepLib
• 8 - RepLib
• 11 - unbound - derive alpha-respecting Ord instance. (done?)
• 12 - unbound - derive aeq directly instead of using match. (done?)
• 15 - RepLib
• 17 - unbound - create real test suites (in progress)
• 18 - RepLib (although GHC.Generics also doesn't support existentials)
• 23 - RepLib (although GHC.Generics also doesn't support GADTs)
• 24 - need more info
• 25 - copied to GitHub Variable capture when substituting in Rebind patterns #6
• 26 - unbound - "untrec has worse than O(n) complexity in number of binders -- linear time possible?" (we don't have TRec yet, but seems like it would have the same problem)
• 27 - RepLib