[builtin/trap refactor] Introduce sum type trap_action_t