Construction types implemented in Suhaky