Type Systems for Nominal Terms