SMS dit: Extension problems in intuitionistic plane projective geometry /