a hacky way to restrict the search space for a substitution-based quine generator
use hash constraint on global nom instead of no-closureo
just whitespace
no need for nomo anymore
nomo might be here to stay... try:

    (run 10 [q]
      (fresh [exp env val]
        (nom/fresh [clojure-nom a]
          (== exp `(~'fn ~(nom/tie a a)))
          (== [exp env val] q)
          (eval-expo clojure-nom exp env val))))

Revert "no need for nomo anymore"

This reverts commit 854a9c5d4867659df96b8d2bf296537af820030b.
update after improvement to predc in master
another update after predc improvements
bump to master version (beta5)
update README now that nominal unification is in master
predc got better
do not use reload
STLC
formatting and minor rewording
clojurify syntax of STLC