(Along the way, adding an option to "predict" to compute the minimum free node count over a type period.) Closes #373.