* add more types to avoid warnings about unresolved types during tests * reuse OverloadTypeInfo instead of reimplementing it