Ranvar algebra

Rewrite pending. See also (Legacy) Algebra of Ranvars