Construction types implemented in Kydantsi