Odd results with lib/matrix about typeprof HOT 1 OPEN

(Updated as of f881fbe)

So an initial commit shows result without any hint.
With this commit I tell it Matrix@rows and Vector@elements which should help a lot... but it doesn't improve things much.

First, I was expecting attr_reader rows : Array[Array[numeric]] (if it could reuse my type definition), or Array[Array[Integer | Float | Rational | Complex]] otherwise.

The result I get is really complex and includes Array[(... | String)?], this is very wrong.

Another good test is to_a, which should have the same signature, but I get a simple answer this time (Array[(Integer | String)?]), but it is invalid.

from typeprof.