Changed RefinedTypes.pdf