more work on the depedent types section