A Theory of Types for Convex Sets and Ordered Banach Spaces