Impredicative Wiki/Extensions