inspect type at point is now much more informative for method types