Construction types implemented in Prohres