Types within Procon