Does the terse notation of Iversonian languages lend itself well to algebraic manipulation or rewriting (like beta reduction)?