fixing #4: Make arrow semantics configurable.