Summary
- tuned signature;
- recover original order;
- tuned;
- misc tuning and modernization;
- merged
- clarified signature;
- clarified signature: more general types;
- afford redundant whitespace for improved readability;
- avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default