Fix subtyping of types without symbols 

Review by @odersky @DarkDimius @namin