2013-11-23-19.15.22: src/lib/compiler/back/top/highcode/highcode-baseops.api: Similar renaming for consistency and clarity.