More bugfixes for eager lower bound evaluation and use of override type