post sets-and-types