Added more semantics to the ceval type. Also, the error handling has been amended.