Small improv. to SimplLang.hs. Gonna review Types.hs soon.