added function::get_name() to return a function's print name