a couple tweaks to type intersection that were helpful when eliminating convert_default
remove convert_default builtin