intro : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref MD Metadata => Ref UST UState => Ref ROpts REPLOpts => Int -> Name -> Env Term lhsCtxt -> Term lhsCtxt -> Core (List IRawImp)