Type Development