So yeah. Record types are not something that can be restricted by a profile. It's simply what a profile can create. They can otherwise read records others have created with the other record types.
The picklist values available per record type doesn't have any filtering since users can't typically mass update multiple records with multiple record types in standard salesforce. So I'm not sure if there's any planned user experience for this in Skuid's roadmap.