Inference and enforcement of data structure consistency specifications