Check_Field
Check_Field(form, typ->left, field, argp->left) ||
Check_Field(form, typ->right, field, argp->right));
if (!Check_Field(form, field->type, field, (TypeArgument *)(field->arg)))