add japanese comments in ListFunctor.v

and fix scope problem