A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information