Typization improvements