Type checking annotation-based product lines

Type checking annotation-based product lines