Project Type Definition and Mixin Types