An Algebraic, Executable Ur Machine