Revert "pp227 - implement uadd_ok"

This reverts commit c326b25d1f1e340dd0b83faf93463d5eedc9b30f.
pp_230 implement tadd_ok