Modified FnSig struct in ty.rs (to add default value in fn args)