refactor parameter order for getVarName
show parse tree instead of pretty printed terms until deBruijn indices get fixed
add type sigs
temporarily add tracing
add Church boolean test combinator