What is added by functional syntax?

Hypothetically, if we had only had the object/metamodel, and  
documented the global restrictions on axioms in terms of the  
metamodel, what  would we lose (other than a syntax that not many are  
likely to use).

Thanks,

-Alan