Bitwalker: subset-026-7.scade: types of packet fields

The definition of packet types like 

type
Gradient_Profile = { 
    NID_PACKET : int     /\* Packet =  21 */ ,
    Q_DIR : int ,
    L_PACKET : int ,
    Q_SCALE : int ,
    D_GRADIENT : int ,
    Q_GDIR : int ,
    G_A : int ,
    Struct15 : SVar210
};

do not have the field types assigned properly. Example: the field Q_DIR must be of type Q_DIR. 
