add-reduct doesn't work with new-state in some cases

[Necr0x0Der]

Describe the bug
add-reduct doesn't work with (new-state (smth 100)) returning a type error

To Reproduce

!(add-reduct &self
  (= (asset s1) (new-state (smth 100))))

Expected behavior
The same as

!(let $x (new-state (smth 100))
   (add-atom &self (= (asset s1) $x)))

That is, new-state should be executed before the equality is added to &self

Actual behavior
[(Error (State (smth 100)) BadType)]

Additional context
Interestingly that the following works (as well as let-expression above)

!(get-type (add-reduct &self
  (= (asset s1) (new-state (smth 100))))) ; [(->)]
!(add-reduct &self
  (= (asset s1) (new-state 100)))
!(asset s1) ; (State 100)
!(add-reduct &self
  (= (asset s1) (new-state A)))
!(asset s1) ; (State A)