The unit->unit/sig syntactic form wraps a primitive unit with
import and export signatures:
(unit->unit/sig expr signature signature)
The first signature is used for the import signature and the
second signature is used for the export signature. If expr
does not evaluate to a unit or the unit does not match the signature,
no error is reported until the primitive linker discovers the problem.