Add stub functions needed for `racket/contract/base`