fixing handling of some higher-order-function case found while writing the paper, see description

now this example works:

a = <fill red>
b= <box>
a b