qualified type improvements. type linking