define type syntax