added a wireformat for HLists
added an indirection on Return nodes to avoid recursion into the node value when rewriting. fixes #266