updated README.md and changed the name of the language to Popr, fixed a
bug in func_assert(), added a test for it, removed several support
functions for func_op2() and simplified it.