basic type typeinfos refactoring