add comment in Functor.v

for naming rule(?)