Text this: Deciding Equations in the Time Warp Algebra