move @:coreType/underlying type check to right place
fix is_core_type operator handling
adjustments to abstract changes