some small stylistic and comment improvements
rename "partial reassembly" to "partial relinearization"