A star-free semantics for R