[kazinator]

A quote operator that doesn't work on arbitrary lambda terms is not correct. It doesn't meet the definition of quoting.