Add a type class for evaluation, just Exp for now