Do not depend directly on the mirage-types signature to help

break a circular dependency.  The `portable` test still exists
to check against when changing anything.