adding some smaller numbers to the checkeq range
renaming cnStep for clarity
returning failure in eval if a^b is 0 (with non zero base)
cleaning up code and comments