factor out Fun.name()

Signed-off-by: Akira Hayakawa <ruby.wktk@gmail.com>