feat: support aliased types in overrides

[ARR4N]

When overriding an aliased type for which conversion is required, the eventual calls to underlying() via checkConvertible() used to return nil. This change resolves the alias inside the underlying() loop, resulting in the true underlying T.

I appreciate that the scenario in the test may seem contrived, but it's representative of a scenario I encountered during a refactor via type aliases.