More TR class adjustments for expansion changes
some work on random generation from contracts
update Redex to cooperate with the new undefined semantics