Implement equality check and parsing of let expressions