Construction types implemented in Shediieve