Adds extra constructors from the prelude.

True and False are needed for the InlineSig, SpecInlineSig and
PlaySafe constructors. To prevent further problems all constructors
from the prelude except the higher order tuples have been added.
Adds antiquotation of types.

Types can be antiquoted by using double parentheses.
Adds quasiquoting of multiple declarations.

Quoting multiple declarations is done by parsing it as a module and
then discarding everything but the declarations.