Add Dependent Types