I assumed R and R' are prototypical bootstrapping variants of what will be the full-fledged Radiant language, but that wasn't explicitly written anywhere.