bit of progress with specs for infix-named functions
the top-level-topping reveals all sorts of bugs...