A Type System for Components