Type names without static type checking already improve the usability of APIs (as long as the type names are correct): an empirical study.