syntax for parameters and return variables, and taking them into account

This syntax is bad and I feel bad.

Substitution of parameters and return values works better now (there was
a bug in symexec.ml).

It would still be nice to check numbers of parameters/return values
after parsing to get error messages instead of runtime exceptions.