Yet another subst-based big-step quine generator. Differences:

- no need for check-tieso b/c lambdas are just ties
- cljo translates between internal and clojure rep, so no relying on
  pretty printing