Other comparison operators added for Z
Attempt to add a universal 'run' function in Coq