Preparation for Type Extension Work