Eval and reify for Term