add transy as dependency