constraints: remove the type code in favor of the module