Add R register; Restructure how return works; Rewrite flow control to take advantage of R.