completely rewritten the r4 series and some of the yang product
functionality, for the purpose of computing ramification.