octascript: lexing of thin arrows (->)