On Type Checking Delta-Oriented Product Lines