Using Type in Planning, Instruction and Assessment