Improvements in soundness for this-typing in Flow, including the ability to annotate this on functions and methods.