Construction types implemented in Rachyn