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.