Construction types implemented in Tykhe