Finish Meta converter from HsExpr to TH Exp

[guibou]

The conversion from HsExpr to template haskell Exp is not complete, including:

• No support for advanced pattern match. I.e. \x -> x works, but \(Just x) -> x does not
• ... Please complete this list