Type-enforcement Packages