Master 11 Preactivated Better Full: Typing