The idea is to have small, user-written or shipped files which correct
glaring "errors" in library code without shipping a maintenance-heavy,
ugly modified copy of the library code. So far, you can specify function
return types only, but more features are easy to add now.