Cabal terms and abbreviations