Type-safe eval in Grace

The case for principled eval support