adds a comment that the ref_call needs one more revamping, removed unnecessary...
adds a comment that the ref_call needs one more revamping, removed unnecessary fixme in type_inference, some other minor comment rewording.
adds a comment that the ref_call needs one more revamping, removed unnecessary fixme in type_inference, some other minor comment rewording.