removed multiple application from +> and put in separate function
added mechanism of transform for +> generalization go testing now