Rename: prodL -> ordinalProd, powerL -> (<^)
More examples for the README