Construction types implemented in Butsyn