Fix small typos in Types.hs

Fix two small typos in a comment in Types.hs.