Remove references to obsolete `do` keyword

Also add the new `proc` keyword to the documentation.