Bump to 0.5.7
Add unfoldM varieties