Construction types implemented in Kynashiv