Remove unused Eq instances towards use of Scheme in Val
Lambda type annotations