Complete syntaxe.mli with EFunCall and procedure structure