Completed documentation of imperative PCL.