Function write_nice_function

All of this is just so I can print a function name other than u0:0

(
    func_w: &mut NiceFuncWriter,
    w: &mut dyn Write,
    func: &Function,
    name: &str,
)