Type-safe eval in Grace

Link: Type-safe eval in Grace

The Grace programming language allows for arbitrary evaluation of strings. However, those strings are type-checked before being run.