Add LANGUAGE extensions for inferred signatures.

This follows changes in latest HEAD. GHC now checks that language extensions required for inferred type signatures are actually enabled.