write MidenVM constraints for chiplets module (excludes multiset check constraints)

The top-level chiplet module constraints are described [here](https://0xpolygonmiden.github.io/miden-vm/design/chiplets/main.html#chiplets-module-constraints) and implemented in Rust [here](https://github.com/0xPolygonMiden/miden-vm/blob/main/air/src/chiplets/mod.rs).

The constraints for the chiplets bus (the multiset checks) are excluded from this issue.

El issue hace referencia a la documentación de restricciones del módulo de chiplets de Miden VM y a la implementación existente en Rust en el archivo air/src/chiplets/mod.rs. Comience leyendo el documento de diseño enlazado para comprender el sistema de restricciones, luego examine el código Rust actual para ver la estructura. La tarea es escribir las restricciones equivalentes en AirScript, excluyendo las restricciones de verificación de multiconjunto. Verifique el trabajo revisando la suite de pruebas existente para el módulo de chiplets.

Escrito por el modelo de indexación a partir del texto del issue.