tweaking the auto-provided type handling to bring fully into line with library handling