Update Abbreviations.hs