Already known issues:
1) It may be possible to infer AlwaysPreferredUserTypes from other sets.
2) When talking about Core types, "and include ControlTypes()" sounds odd, why doesn't the set include them explicitly?

I suspect there are more.