Nominal Type System Wikipedia