Signature.t simplified: no annotation anymore