- Gradual Refinement Types
 - [x] clean up code
 - [x] compare numbers
 - [x] pull request 
 - [ ] without elimination Interpratations.f has an bad/interesting result
 - [ ] Implement Eric's validity with measures 
 - [x] Check how elimination interacts with graduals (eg Interpretation fails with elimination now)
 - [ ] Find interesting application
 - [ ] Present weakest result 


- Proof by Symbolic Evaluation