change Helpers API to take Exprs, not f,args
try to make TypeCheck.jl use Exprs not f,args. Currently failing at a list comprehension.