Should the base type be in the empty context?

[Ambrus Kaposi]

Think about it and create some experiments which show which approach is better.