Fix type and length mismatches once

Say what a source type should become in the target, once, for every field. Rules apply when you start a review, show their effect before you use them, and are logged and reversible. They shape the generated code: types, length annotations and a guard in the sync service.