Add special dependently typed folds
Up version number