Improve hseq notation.
Add argument declaration for pmempty.