Construction types implemented in Shepit