Add trigaph.hs