Removed useless stuff from preservation proof
Adding let to stlc (exercise); hit incomplete pattern matching bug

... I think :)