upgrade MemoizeCalc macro field parameter to bind in macro params, fix Bind to new states, skipped previously
work on traversing completion transitions