GitLab

My earlier changes broke printing of function types in .hcr files.
In other words: the z-encoding must die.