makeLemma : Ref Ctxt Defs => Ref Syn SyntaxInfo => FC -> Name -> Nat -> ClosedTerm -> Core (RawImp, RawImp)