Add a type signature