New Dimensions in Type Engineering