Those can now be checked by the type system. Creation is still an export dependency as it may require recompilation.