Preprocess AC type definitions for type checking