j : symbolic.ijs with bunch of transformation laws