We would like to thank Conor McBride who generously shared with us how
meta-variables are treated in Epigram. In particular we want to thank him for the
idea of naming possibly ill-typed terms which simplifies equality reasoning.
The authors would also like to thank Thierry Coquand for many valuable comments
on this work.

% , we specially want to thank him for his idea how
% to get an optimal approximation by a slight change in syntax.

