DEFINE uniq == [[]] [[in] [swap pop] [cons] ifte] primrec.