named terms look better
Added redex tests