Insert type signatures for top-level functions created by liftToTopLevel

[glittershark]

Not sure how involved this would be given quantified types and whatnot, but it seems like a nice-to-have

[alanz]

it is easy if things are unconstrained, otherwise it gets hard.

I suspect the best way would be to put a wildcard signature in, compile the file and see what GHC says.\