In this blog post I announced that I am going to change the definition of order of pointfree funcoids in my book.

Now in the last preprint the changes are done.