9c27abde7f
It's necessary when expect class is actualized via typealias To support it properly, we need to return AbbriviatedType instead of SimpleTypeImpl, thus scopeFactory is not enough anymore