Se valida semanticamente que los records esten bien estructurados. Tambien se valida semanticamente que se pueda asignar un valor a un record.
Se generan las clases de los records, falta modificar los pasos para las asignaciones