fullyResolvedType

The fully resolved type, will not contain any type aliases anymore, just the underlying merged type