A Dependent Nominal Type Theory