What I want: integrate TH in the build, such that a file in any syntax is translated to TH. EDIT: I've got the basic skeleton working for "(+ 1 2)": read file, parse as s-expression, and convert to haskell syntax. Also performs currying. The rest is too much at this time. Still needs ANF.