Redo/check Build(Anno...)
Redo reductions for Let-s and CallDynamic-s