Remove unsafe Eq and Ord instances
Fix let/let* reduction

We do not perform instantiation and substitution at the same time anymore