rename `clear` to `workspace`, which seems apt since it makes a new
workspace, and I find it hard to explain the function without using
that word.