Introduction and background for the reversible programming language RRust