Construction types implemented in Kyseli