Add/Expose Binary API that allows dumping of any GHC Binary instance

Serialising Names requires that a symbol table is being provided in the BinHandle so that a string can be mapped to an index in the symbol table. API clients like Haddock need this so they can use all Binary instances of GHC data types.

Whether a symbol table is provided or not is best reflected in the type (using phantom types / type labels). For example:

    data Put symtab a = ...
    data Symtab

    instance Monad (Put b) where ...

    instance Put a Foo where ...

    instance Put Symtab Name where ...

    runPut :: ... -> Put () a -> IO a 
    putWithSymtable :: ... -> Put Symtab a -> IO a

Similarly for a Get monad

(feature suggested by David Waern)

Trac metadata

Trac field	Value
Version	6.9
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	GHC API
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system	Unknown
Architecture	Unknown