the modules are usbc, but the ports themselves are thunderbolt you can plug any thunderbolt adapter into the port directly rahter than use the "usbc" module (if you wish)
the main issue with plugging into the laptop is dimensions, because there is only so much clearence
So what do you expect to happen? Framework expansion cards are built-in USB-C adapters; if USB-C can't do it, they can't do it.