Construction types implemented in Batky