normalized signatures in tiDec.hs