renyi_workspace v0.2.0 — The resident world of a Renyi project: the files kept between calls, the world declared again from what changed and the bodies checked again only where their text changed