Describir: Extension problems in intuitionistic plane projective geometry /