Added the work I did for the type equivalence evaluation in ROSE. Expression evaluation needs to implemented.