Address instances of "Overloaded function signature x will never be matched" + minor typing fixes

Address instances of "Overloaded function signature x will never be matched" + minor typing fixes #743