[Builtins] Generalize 'evaluateTerm'

[effectfully]

This shows how to generalize evaluateTerm so that it works with any fun.

@kwxm It's not a complete PR, let me know if you want me to make it complete or if you just want to pull these changes into your branch or if this is even the right thing / needs changes etc.