Added the (z<type>tosink ...) and (zsinkto<type> ...) cases for Term.