- disallow @:coreType + underlying type
- do not require underlying type if an implementation exists
- do not force haxe operator types on @:coreType operators