removed dependency on simple hott in eval.agda and used agda prop eq