native types should not all be the same type

[graydon]

Currently all types declared as 'native' wind up as the same type in the type checker. This is wrong. They should be considered nominal types.