Comments added to pactran.agda.
README updated.