Construction types implemented in Taiky