Incremental_intf.S. We've found things like this
useful in a couple of different projects as a nice alternative to the
Add README.org to Incremental.
Added some type annotations based on comments by @def-lkb about lack of
Switched to ppx.