Adding history and let support. Printing type of each expression typed.