Simplified data types for ProxyCorrect