add tests/pos/mutrec.hs and a description of ordering functions with
ghost parameters to README.md