Review efficiency of the translation code

Including the large numbers of calls to ensureCapacity going via virtuals.  Can some of the logic be moved to the base class?  Can fixed length targets avoid any call to ensure (using similar idea to generated code)?  Can merging assignment of adjacent fields be optimized?

Step through several examples and check exactly what is going on.