Enable ScopedTypeVariables in List.
cabal build now works
Started moving Promote to Singletons in testsuite.

This commit also introduces the newtype instance Sing for
lambdas.
HigherOrder works. w00t.
Quickly fully builds.