bad lexing for separation of commands
a command like
apply H with id,(f x)
wants to split the string at the space between f and x.
On the other hand
apply H with id, (f x)
works
a command like
apply H with id,(f x)
wants to split the string at the space between f and x.
On the other hand
apply H with id, (f x)
works