opt-eval Optimized evaluation for Mini-ML [Exercise ??] units Mini-ML extended with units [incomplete]