Construction types implemented in Pryvillia