Construction types implemented in Promin