Construction types implemented in Penky