add a type signature