Add Janek as author/maintainer
Apply --> (@@), fixing #27.
Fix #7.

This is done via a new module Data.Singletons.Exports that contains
all the exported names for singletons. The singleton generation can
then use the TH quoting syntax to pull real names, instead of using
the dirty mkName. This also means that there are orphan instances,
but that's OK.
Turn on warning checking in "Quickly"; remove badPlus feature.

In the initial version of singletons, including code in a promotion
block that was missing a type signature was a warning. This is silly;
it should be an error. This is now fixed.
Fix "Star" test case.
Remove dead code. No more dependency on syb!
Remove `promoteDataCon` in favor of `PromotedT`. Addresses js/#22.
Merge branch 'master' into lambda

This commit also does some cleaning up of names in Promote.
More to come.

Conflicts:
	singletons.cabal
	src/Data/Singletons/Bool.hs
	src/Data/Singletons/Eq.hs
	src/Data/Singletons/Promote.hs
	src/Data/Singletons/Singletons.hs
	src/Data/Singletons/Types.hs
Further name cleaning up. No warnings. Some testsuite problems.

In particular, the Lambdas output shows an arity change. I believe
this change is solely due to fixing "unused variable" warnings by
changing variables to underscores. I think this may be a real bug,
but I don't have the time to investigate now.
Merge branch 'js-lambda-promotion-v2' of ssh://github.com/jstolarek/singletons into lambda

Conflicts:
	tests/compile-and-dump/Promote/LambdasComprehensive.ghc78.template