Add a small foldmap test, and make size unification slightly smarter